2700 search results - page 90 / 540 » The role of abstraction in software engineering |
166
click to vote
AMAST
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We present several formal program refinement rules for designing multi-tasking programs with hard real-time constraints.
150
click to vote
ECSA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Services Oriented Architectures preach loosely-coupled services and high
158
click to vote
AC
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. In the late 80's Blum, Luby, Rubinfeld, Kannan et al. pioneered the theory of self
209
click to vote
APAL
2011
15 years 1 months ago
2011
Abstract. We give classical proofs, strengthenings, and generalizations of Lecomte’s characterizations of analytic ω-dimensional hypergraphs with countable Borel chromatic numbe...
145
click to vote
RE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract--We argue for the creation and use of a very lightweight requirements modeling language as an alternative to textual and pictorial requirements specifications.