Sciweavers

10241 search results - page 477 / 2049
» Goal-Driven Software Development
Sort
View
CSEE
1994
Springer
15 years 11 months ago
A Five Year Perspective on Software Engineering Graduate Programs at George Mason University
This paper describes the experience obtained at George Mason University while developing a Master of Science program in software engineering. To date, the program has graduated ov...
Paul Ammann, Hassan Gomaa, A. Jefferson Offutt, Da...
ARCS
2006
Springer
15 years 10 months ago
ORCAN: A platform for complex parallel simulation software
: The Open Reflective Component Architecture (ORCAN) is a component based software platform for Simulation software. It enables to build applications out of runtime exchangeable co...
Jan Treibig, Silke Berler, Ulrich Rüde
SAFECOMP
1998
Springer
15 years 10 months ago
Safety Verification of Software Using Structured Petri Nets
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
Krzysztof Sacha
PRDC
2000
IEEE
15 years 10 months ago
Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule
In this paper, we extend the classical result by Huang, Kintala, Kolettis and Fulton (1995), and in addition propose a modified stochastic model to determine the software rejuvena...
Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor...
ATAL
2008
Springer
15 years 9 months ago
An agent-oriented approach to support change propagation in software evolution
Software maintenance and evolution is arguably a lengthy and expensive phase in the life cycle of a software system. A critical issue at this phase is change propagation: given a ...
Khanh Hoa Dam