650 search results - page 130 / 130 » Modeling SPARK systems with UML |
ICSE
2008
IEEE-ACM
14 years 6 months ago
2008
IEEE-ACM
Graduates of computer science degree programs are increasingly being asked to maintain large, multi-threaded software systems; however, the maintenance of such systems is typicall...
KBSE
2005
IEEE
13 years 11 months ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...
CBSE
2004
Springer
13 years 11 months ago
2004
Springer
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...
ECOOP
2001
Springer
13 years 10 months ago
2001
Springer
Features are essential characteristic of applications within a product line. Features organized in different kinds of diagrams containing hierarchies of feature trees are closely ...
MBEES
2007
13 years 7 months ago
2007
Abstract: In diesem Kurzbeitrag zeigen wir, wie textuelle Anwendungsfallbeschreibungen werkzeuggest¨utzt in UML-Aktivit¨atsdiagramme ¨uberf¨uhrt werden k¨onnen. Mit Hilfe eine...