1823 search results - page 119 / 365 » Formal specification: a roadmap |
127
click to vote
AO
2005
15 years 4 months ago
2005
The paper considers the problem of defining concepts within formal ontologies. A number of distinct modes of definition are identified, which represent alternative viewpoints on t...
133
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
The correct implementation of security protocols is a challenging task. To achieve a high degree of confidence in an implementation, as with any software, ideally one requires bot...
175
click to vote
DEXA
1997
Springer
15 years 8 months ago
1997
Springer
Nowadays, if we want to obtain a sound and correct final software product it is very important to be able to properly join modern OO programming environments, which are built for ...
158
click to vote
ISSRE
2000
IEEE
15 years 9 months ago
2000
IEEE
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
170
click to vote
CN
1999
15 years 4 months ago
1999
Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of ...