Sciweavers

10238 search results - page 256 / 2048
» Package-Based Software Development
Sort
View
LCTRTS
2001
Springer
15 years 11 months ago
Embedded Control Systems Development with Giotto
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
Thomas A. Henzinger, Benjamin Horowitz, Christoph ...
ICRE
1998
IEEE
15 years 11 months ago
Scenario Usage in System Development: A Report on Current Practice
: Scenario-based approaches are becoming ubiquitous in systems analysis and design but their definition and scope remain vague. Complementing the recently proposed CREWS classifica...
Klaus Weidenhaupt, Klaus Pohl, Matthias Jarke, Pet...
VSTTE
2005
Springer
16 years 2 days ago
Reliable Software Systems Design: Defect Prevention, Detection, and Containment
The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the ...
Gerard J. Holzmann, Rajeev Joshi
ESEM
2009
ACM
15 years 10 months ago
Balancing software product investments
The long-term sustainability of a software product depends on more than developing features. Priorities are placed on aspects that support the development of software, like softwar...
Sebastian Barney, Claes Wohlin, Aybüke Aurum
IFIP
2004
Springer
15 years 12 months ago
An interdisciplinary perspective of dependability in open source software
: Open Source Software (OSS) development needs to be considered during software development as to whether to develop an OSS packages, and/or whether to develop with OSS. In this pa...
Cristina Gacek