Sciweavers

1347 search results - page 140 / 270
» A Web-based requirements analysis tool
Sort
View
ICCS
2004
Springer
14 years 3 months ago
Simulation Coercion Applied to Multiagent DDDAS
Abstract. The unpredictable run-time configurations of dynamic, datadriven application systems require flexible simulation components that can adapt to changes in the number of i...
Yannick Loitière, David C. Brogan, Paul F. ...
SIGSOFT
2010
ACM
13 years 8 months ago
Separation of concerns for dependable software design
For `mixed-criticality' systems that have both critical and non-critical functions, the greatest leverage on dependability may be at the design level. By designing so that ea...
Daniel Jackson, Eunsuk Kang
JAISE
2010
124views Algorithms» more  JAISE 2010»
13 years 4 months ago
Exploring the responsibilities of single-inhabitant Smart Homes with Use Cases
This paper makes a number of contributions to the field of requirements analysis for Smart Homes. It introduces Use Cases as a tool for exploring the responsibilities of Smart Home...
Paul Lyons, An Tran Cong, H. Joe Steinhauer, Steph...
KBSE
2006
IEEE
14 years 4 months ago
Command-Form Coverage for Testing Database Applications
The testing of database applications poses new challenges for software engineers. In particular, it is difficult to thoroughly test the interactions between an application and it...
William G. J. Halfond, Alessandro Orso
ISIM
2007
13 years 11 months ago
Formal Computation Independent Model of the Problem Domain within the MDA
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
Janis Osis, Erika Asnina, Andrejs Grave