34 search results - page 4 / 7 » Community software development with the Astrophysics Simulat... |
ESEC
1997
Springer
13 years 11 months ago
1997
Springer
Software architectures shift developers’ focus from lines-of-code to coarser-grained architectural elements and their interconnection structure. Architecture description language...
FTRTFT
1998
Springer
13 years 11 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
CODES
2001
IEEE
13 years 11 months ago
2001
IEEE
In this paper, we present a proposal for a UML profile called `Embedded UML'. Embedded UML represents a synthesis of various ideas in the real-time UML community, and concept...
RE
2004
Springer
14 years 28 days ago
2004
Springer
There has been significant recent interest, within the Aspect-Oriented Software Development (AOSD) community, in representing crosscutting concerns at various stages of the softwa...
WSC
2007
13 years 10 months ago
2007
The automated analysis of model specifications is an area that historically receives little attention in the simulation research community but which can offer significant bene...