Software Factories: Assembling Applications with Patterns, Models, Frameworks and Tools
No abstract available.
Related papers
- A flexible framework for implementing software transactional memory OOPSLA 2006
- The Concurrency Factory Software Development Environment TACAS 1996
- Model-Driven IoT App Stores: Deploying Customizable Software Products to Heterogeneous Devices GPCE 2022
- Parallel programming with object assemblies OOPSLA 2009
- Combining Contracts and Exemplar-Based Programming for Class Hiding and Customization OOPSLA 1994
- Modular verification of concurrent assembly code with dynamic thread creation and termination ICFP 2005
- Modular verification of assembly code with stack-based control abstractions PLDI 2006
- jStar: towards practical verification for java OOPSLA 2008