1199 search results - page 74 / 240 » Software Verification and Software Engineering a Practitione... |
156
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...
165
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
178
Voted
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
This report summarizes the outcome of the 14th Workshop on Aspect-Oriented Modeling (AOM), as part of the 12th International Conference on Model Driven Engineering Languages and Sy...
128
click to vote
EWSPT
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Process programming languages have not been readily adopted by practitioners. We are addressing this problem through the development of Little-JIL, a language that focuse...
140
click to vote
SIGSOFT
2005
ACM
16 years 6 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...