SCP
2010
14 years 10 months ago
2010
109
click to vote
SCP
2010
14 years 10 months ago
2010
Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along differe...
SCP
2010
14 years 10 months ago
2010
SCP
2010
14 years 10 months ago
2010
Refinement is the notion of development between formal specifications. For specifications given in a relational formalism, downward and upward simulations are the standard meth...
74
Voted
SCP
2010
14 years 10 months ago
2010
One of the most challenging tasks a programmer can face is attempting to analyse and understand a legacy assembler system. Many features of assembler make analysis difficult, and ...
SCP
2010
14 years 10 months ago
2010
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs in...
SCP
2010
14 years 10 months ago
2010
108
click to vote
SCP
2010
14 years 10 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
SCP
2010
14 years 10 months ago
2010
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
SCP
2010
14 years 10 months ago
2010