3514 search results - page 306 / 703 » Evolving Specification Engineering |
160
click to vote
ICFEM
2000
Springer
15 years 10 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
165
click to vote
ESEC
1995
Springer
15 years 10 months ago
1995
Springer
This paper presents a case study in carrying out an audit of a large, softwareintensive system. We discuss our experience in structuring the team for obtaining maximum effectivene...
165
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
This paper gives a correctness proof for the on-chip COMA cache coherence protocol that supports the Microgrid of microtheaded architecture, a multi-core architecture capable of in...
195
click to vote
DICS
2006
15 years 8 months ago
2006
Abstract. Group communication is a programming abstraction that allows a distributed group of processes to provide a reliable service in spite of the possibility of failures within...
152
click to vote
IESA
2007
15 years 8 months ago
2007
In this paper we introduce and explore an extension to the existing paradigm of model transformation. Specifically, we extend existing model transformation approaches by consideri...