3514 search results - page 511 / 703 » Evolving Specification Engineering |
157
click to vote
ERSHOV
2006
Springer
15 years 9 months ago
2006
Springer
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
146
click to vote
FM
2006
Springer
15 years 9 months ago
2006
Springer
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour...
145
click to vote
CEEMAS
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The notions of role and organization have often been emphasized in several agent oriented methodologies. Sadly, the notion of interaction has seldom been reified in these...
152
click to vote
WSC
2008
15 years 8 months ago
2008
For simulation practitioners, the common steps in a simulation modeling engagement are likely familiar: problem assessment, requirements specification, model building, verificatio...
163
click to vote
ASM
2008
ASM
15 years 7 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...