Sciweavers

2796 search results - page 100 / 560
» A time structure based software reliability model
Sort
View
ICSEA
2008
IEEE
16 years 24 days ago
A UML Based Methodology to Ease the Modeling of a Set of Related Systems
Despite progress in model engineering, modeling large distributed systems is still a long and complex task. This paper outlines a methodology based on UML to make the modeling of ...
Firas Alhalabi, Mathieu Maranzana, Jean-Louis Sour...
FECS
2008
123views Education» more  FECS 2008»
15 years 7 months ago
Transition from a Waterfall-Based Capstone Course to an Agile Model
We report on the successful process of transitioning a 4th-year university software engineering capstone course from a waterfall approach to an iterative, more agile model. The se...
Chris Lüer
CPE
1997
Springer
79views Hardware» more  CPE 1997»
15 years 10 months ago
Storage Alternatives for Large Structured State Spaces
We consider the problem of storing and searching a large state space obtained from a high-level model such as a queueing network or a Petri net. After reviewing the traditional te...
Gianfranco Ciardo, Andrew S. Miner
DSRT
2004
IEEE
15 years 10 months ago
An Architecture for Web-Services Based Interest Management in Real Time Distributed Simulation
The Experimentation Command and Control Interface (XC2I) project has developed an architecture for a Webservice based viewer/controller for use with distributed simulations suppor...
Katherine L. Morse, Ryan Brunton, J. Mark Pullen, ...
CASES
2007
ACM
15 years 10 months ago
SCCP/x: a compilation profile to support testing and verification of optimized code
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
Raimund Kirner