Sciweavers

1152 search results - page 130 / 231
» Managing the Development of Large Software Systems: Concepts...
Sort
View
JOT
2008
114views more  JOT 2008»
15 years 6 months ago
By students, for students: a production-quality multimedia library and its application to game-based teaching
The attractive idea of using game development for teaching programming can only meet student expectations and modern software engineering requirements if it uses advanced multimed...
Till G. Bay, Michela Pedroni, Bertrand Meyer
SEFM
2005
IEEE
15 years 12 months ago
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre ...
KBSE
2005
IEEE
15 years 12 months ago
Determining the cost-quality trade-off for automated software traceability
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...
Alexander Egyed, Stefan Biffl, Matthias Heindl, Pa...
ECBS
2009
IEEE
114views Hardware» more  ECBS 2009»
15 years 10 months ago
Model-Based Product-Oriented Certification
Future space missions such as the Mars Science Laboratory and Project Constellation suggest the engineering of some of the most complex man-rated software systems. The present pro...
Damian Dechev, Bjarne Stroustrup
ICAC
2005
IEEE
15 years 12 months ago
A Mass Storage System Administrator Autonomic Assistant
System administrators of today’s high performance computing systems are generally responsible for managing the large amounts of data traffic and archival querying that mass stor...
Milton Halem, Randy Schauer