Sciweavers

1792 search results - page 1 / 359
» Requirements Capture with RCAT
Sort
View
RE
2008
Springer
13 years 4 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
PTS
2008
109views Hardware» more  PTS 2008»
13 years 6 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund
EUROSSC
2007
Springer
13 years 10 months ago
Capturing Context Requirements
Context-aware applications require context information to adapt their behaviour to the current situation. When developing context-aware applications, application developers need to...
Tom Broens, Dick A. C. Quartel, Marten van Sindere...
CAISE
2003
Springer
13 years 10 months ago
Aspect-Oriented Extension for Capturing Requirements in Use-Case Model
Early Aspects is a concept that applies an aspect-oriented (AO) paradigm to the requirements engineering. Aspect-Oriented Requirements Engineering (AORE) can be considered as an im...
Chanwit Kaewkasi, Wanchai Rivepiboon
DEXAW
2006
IEEE
153views Database» more  DEXAW 2006»
13 years 10 months ago
Capturing and Using the Operational Semantics of Large Distributed Systems: Sharing Common Application Requirements in Virtual O
Organisations may wish to use a standards-defined distributed system in a global sense but also have a requirement for non-standard local behaviour. This reflects the production...
Nickolas J. G. Falkner, Paul D. Coddington, Andrew...