6581 search results - page 167 / 1317 » Formalizing Design Patterns |
193
click to vote
DANCE
2002
IEEE
15 years 8 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
113
click to vote
UML
2001
Springer
15 years 7 months ago
2001
Springer
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
124
Voted
FASE
1999
Springer
15 years 7 months ago
1999
Springer
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
118
click to vote
VL
1996
IEEE
15 years 7 months ago
1996
IEEE
We describe the object-oriented editor GenEd supporting the design of specifications for visual notations. Prominent features of GenEd are (1) it is generic, i.e. domain-specific ...
134
click to vote
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...