658 search results - page 38 / 132 » A formal approach to object-oriented software engineering |
125
click to vote
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a practical approach to a formal analysis of UMLbased models. This is achieved by an underlying formal representation in Z, which allows us to pose and dischar...
132
click to vote
ICSE
2001
IEEE-ACM
15 years 9 months ago
2001
IEEE-ACM
Early testing of requirements can decrease the cost of removing errors in software projects. However, unless done carefully, that testing process can significantly add to the cos...
131
click to vote
WCRE
1997
IEEE
15 years 8 months ago
1997
IEEE
Reverse Engineering is focused on the challenging task of understanding legacy program code without having suitable documentation. Using a transformational forward engineering per...
133
click to vote
KBSE
2000
IEEE
15 years 8 months ago
2000
IEEE
Little-JIL, a new language for programming the coordination of agents is an executable, high-level process programming language with a formal (yet graphical) syntax and rigorously...
142
click to vote
ECRA
2002
15 years 4 months ago
2002
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...