The following pages link to Science of Computer Programming (Q169675):
Displaying 50 items.
- Easy web service discovery: A query-by-example approach (Q924675) (← links)
- KALA: Kernel aspect language for advanced transactions (Q931097) (← links)
- Failure-free coordinators synthesis for component-based architectures (Q931099) (← links)
- Implicit ownership types for memory management (Q931100) (← links)
- Science code .Net: Object-oriented programming for science (Q931102) (← links)
- Flexible metaprogramming and AOP in Java (Q937390) (← links)
- ATL: A model transformation tool (Q937394) (← links)
- The formalism underlying EASYMAP: A precompiler for refinement-based exploration of hierarchical data organizations (Q941466) (← links)
- Quantifying requirements volatility effects (Q941468) (← links)
- Towards proving type safety of .NET CIL (Q941469) (← links)
- Partially defined computer instructions and guards (Q941470) (← links)
- Special issue: Selected papers based on the presentations at the workshop on model driven architecture: foundations and applications (MDAFA), Enschede, The Netherlands, June 26--27, 2003 (Q948820) (← links)
- GREAT: UML transformation tool for porting middleware applications (Q952750) (← links)
- Language support for model-driven software development (Q952753) (← links)
- Model-driven architecture for embedded software: A synopsis and an example (Q952754) (← links)
- Model driven middleware: A new paradigm for developing distributed real-time and embedded systems (Q952760) (← links)
- On the reification of Java wildcards (Q955709) (← links)
- Design and verification of long-running transactions in a timed framework (Q955710) (← links)
- Goto elimination in program algebra (Q955712) (← links)
- A note on proofs with graphs (Q955713) (← links)
- Special issue: 10th international conference on coordination models and languages (COORD'08). Selected papers based on the presentations at the conference, Oslo, Norway, June 4--6, 2008 (Q965932) (← links)
- From flow logic to static type systems for coordination languages (Q967521) (← links)
- Alternating-time stream logic for multi-agent systems (Q967523) (← links)
- Providing data confidentiality against malicious hosts in shared data spaces (Q967526) (← links)
- A process calculus for mobile ad hoc networks (Q967528) (← links)
- Remembering Amir Pnueli, a great scientist and a great friend (April 22, 1941-November 2, 2009) (Q967530) (← links)
- CScout: a refactoring browser for C (Q967532) (← links)
- Enforcing structural regularities in software using intensive (Q967536) (← links)
- Rigi-an environment for software reverse engineering, exploration, visualization, and redocumentation (Q967539) (← links)
- The small project observatory: visualizing software ecosystems (Q967544) (← links)
- Distributed and collaborative software evolution analysis with Churrasco (Q967546) (← links)
- Investigating the effort of using business process management technology: results from a controlled experiment (Q967550) (← links)
- Decision-making coordination and efficient reasoning techniques for feature-based configuration (Q967553) (← links)
- Formalization of an architectural model for exception handling coordination based on CA action concepts (Q967556) (← links)
- Conformance notions for the coordination of interaction components (Q967558) (← links)
- Special issue: Generative programming and component engineering (GPCE 2007). Selected papers based on the presentations at the 6th international conference, Salzburg, Austria, October 1--3, 2007. (Q970434) (← links)
- Special issue: Designing high quality system/software architectures. Selected papers based on the presentations at the 6th international workshop (IWSSA'07), Las Vegas, NV, USA, June 2007. (Q982153) (← links)
- Experience of building an architecture-based generator using GenVoca for distributed systems (Q983190) (← links)
- Aspect-oriented model-driven skeleton code generation: a graph-based transformation approach (Q983194) (← links)
- Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN (Q983197) (← links)
- Special issue: Selected papers of the 5th international workshop on formal aspects on component software (FACS'08), Málaga, Spain, September 10--12, 2008 (Q987769) (← links)
- Actor-based slicing techniques for efficient reduction of Rebeca models (Q988163) (← links)
- Slicing for architectural analysis (Q988166) (← links)
- Event based choreography (Q988170) (← links)
- Robustness testing for software components (Q988173) (← links)
- Component simulation-based substitutivity managing QoS and composition issues (Q988175) (← links)
- A novel analysis space for pointer analysis and its application for bug finding (Q988180) (← links)
- The IELR(1) algorithm for generating minimal LR(1) parser tables for non-LR(1) grammars with conflict resolution (Q988183) (← links)
- Defining the meaning of tabular mathematical expressions (Q988184) (← links)
- Improving Web service descriptions for effective service discovery (Q988185) (← links)
