665 search results - page 82 / 133 » Extending Software Development Methodologies to Support Trus... |
105
click to vote
EMSOFT
2011
Springer
13 years 10 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
ICSE
2004
IEEE-ACM
15 years 4 months ago
2004
IEEE-ACM
Prior research attempts to formalize the structure of object-oriented design patterns for a more precise specification of design patterns. It also allows automation support to be ...
ECMDAFA
2005
Springer
15 years 4 months ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
DATE
2006
IEEE
15 years 4 months ago
2006
IEEE
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, has become standard practice in the design of reactive embedded devices. However, the modeling of ...
IPPS
2003
IEEE
15 years 4 months ago
2003
IEEE
This paper describes our progress in creating a case study on optimistic computing for the Grid using parallel mesh generation. For the implementation of both methods we will be u...