9006 search results - page 1365 / 1802 » Modeling Software |
202
click to vote
UML
2005
Springer
16 years 9 days ago
2005
Springer
UML statechart diagrams have become an important technique for describing the dynamic behavior of a software system. They are also a significant element of OO design, especially in...
170
click to vote
VMCAI
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
186
click to vote
AOSD
2004
ACM
16 years 7 days ago
2004
ACM
A widespread implementation approach for the join point mechanism of aspect-oriented languages is to instrument areas in code that match the static part of pointcut designators, i...
221
click to vote
ADAEUROPE
2004
Springer
16 years 6 days ago
2004
Springer
This paper presents a modification of GLADE —the current GNAT implementation of the Ada 95 Distributed Systems Annex (DSA)— to support the development of distributed applicatio...
201
click to vote
ADAEUROPE
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. The development of real-time distributed applications requires middleware providing both reliability and performance. Middleware must be adaptable to meet application req...