1525 search results - page 201 / 305 » Formal Models for Communication-Based Design |
101
Voted
SEKE
2007
Springer
15 years 6 months ago
2007
Springer
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...
109
click to vote
SEKE
2009
Springer
15 years 5 months ago
2009
Springer
Very large systems have an architecture that is designed to allow them to evolve through a long life. Such systems are developed by teams of architects. One of the first things t...
143
Voted
PLDI
2010
ACM
15 years 3 months ago
2010
ACM
The most intuitive memory model for shared-memory multithreaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations th...
EMSOFT
2008
Springer
15 years 2 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
108
Voted
RE
1997
Springer
15 years 4 months ago
1997
Springer
The field of requirements engineering emerges out of tradition of research and engineering practice that stresses rtance of generalizations and abstractions. abstraction is essent...