10072 search results - page 147 / 2015 » Composition of Model Programs |
134
click to vote
SOCO
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
143
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...
158
click to vote
BIRTHDAY
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
138
click to vote
CASCON
1996
15 years 6 months ago
1996
The Enterprise parallel programming system allows programmers to create, compile, execute, and debug parallel applications that execute over a network of workstations. The run-tim...
125
click to vote
SOCO
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The separation of concerns has been a core idiom of software engineering for decades. In general, software can be decomposed properly only according to a single concern, ...