1314 search results - page 3 / 263 » Validation of Object Oriented Models using Animation |
PDSE
1998
13 years 7 months ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
ASM
2010
ASM
14 years 2 months ago
2010
ASM
Abstract. The aim of this paper is to gradually introduce formalism in the requirement engineering phase in order to facilitate its validation. We analyze and elicit our requiremen...
ZUM
2005
Springer
13 years 11 months ago
2005
Springer
There is significant interest in the use of Z in conjunction with object-orientation. Here we present a new approach to structuring Z specifications in an object-oriented (OO) st...
RE
2004
Springer
13 years 11 months ago
2004
Springer
Scenarios and goals are effective and popular techniques for requirements definition. Validation is essential in order to ensure that they represent what stakeholders actually wan...
HICSS
1997
IEEE
13 years 10 months ago
1997
IEEE
Business System Engineers, responding to changes in the market place, are faced with the challenge of building increasingly complex and varied systems. Formal approaches and model...