738 search results - page 1 / 148 » Object Orientation and Formal Techniques |
FM
1990
Springer
13 years 11 months ago
1990
Springer
Abstract Ole-Johan Dahl Dept. of Informatics, University of Oslo April 9, 1999
FMSD
2007
13 years 7 months ago
2007
This paper addresses the graphical representation of static aspects of B specifications, using UML class diagrams. These diagrams can help understand the specification for stakeho...
IJCAI
1989
13 years 8 months ago
1989
Over the last few years, object-oriented techniques have gained an increasing recognition both in software engineering and in AI. Object-oriented systems present undisputable adva...
ASWEC
1998
IEEE
13 years 11 months ago
1998
IEEE
This paper reports the results from an action research project which studies the benefits of documenting the evolution and the rationale for the evolution of a requirements specif...
TAP
2008
Springer
13 years 7 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...