Sciweavers

2206 search results - page 197 / 442
» Software Engineering and Modeling Education: Problems and So...
Sort
View
COMPSAC
2002
IEEE
15 years 11 months ago
Requirements Driven Quality Control
The paper aims at presenting a method of controlling software quality attributes driven by the set of requirements. This is done in three steps: specifying all the requirements, ma...
Stanislaw Szejko
WSC
2008
15 years 8 months ago
Conceptual simulation modeling: The structure of domain specific simulation environment
This study focuses on the development of a conceptual simulation modeling tool that can be used to structure a domain specific simulation environment. The issues in Software Engin...
Kitti Setavoraphan, Floyd H. Grant
RE
2008
Springer
15 years 6 months ago
Requirements Capture with RCAT
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...
Margaret H. Smith, Klaus Havelund
EMSOFT
2010
Springer
15 years 4 months ago
Model-based implementation of real-time applications
Correct and efficient implementation of general real-time applications remains by far an open problem. A key issue is meeting timing constraints whose satisfaction depends on feat...
Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis
ICSE
2010
IEEE-ACM
15 years 10 months ago
STORM: static unit checking of concurrent programs
Concurrency is inherent in today’s software. Unexpected interactions between concurrently executing threads often cause subtle bugs in concurrent programs. Such bugs are hard to...
Zvonimir Rakamaric