3799 search results - page 15 / 760 » An Engineering Approach to Formal Methods |
WOSP
2004
ACM
14 years 1 months ago
2004
ACM
In this paper we present an original method of analysing the newlyrevised UML2.0 activity diagrams. Our analysis method builds on our formal interpretation of these diagrams with ...
COMPOS
1997
Springer
13 years 12 months ago
1997
Springer
HICSS
2003
IEEE
14 years 29 days ago
2003
IEEE
We carried out eight assessments of usability engineering processes in four industrial companies, for the purpose of providing a basis for process improvement. The research method...
B
1998
Springer
13 years 12 months ago
1998
Springer
This paper reports on the preparation of test cases using a prototype within the context of a formal development. It describes an approach to building a prototype using an example....
DEXAW
1999
IEEE
13 years 12 months ago
1999
IEEE