1597 search results - page 280 / 320 » Context Capture in Software Development |
SCESM
2006
ACM
14 years 3 months ago
2006
ACM
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...
ICAC
2005
IEEE
14 years 2 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
The Space Weather Modeling Framework (SWMF) aims at providing software architecture for integrated modeling of different domains of Sun-Earth system and high-performance physics-b...
ITCC
2005
IEEE
14 years 2 months ago
2005
IEEE
Design patterns document good design solutions to a recurring problem in a particular context. They are typically modeled using UML. In practice, however, pattern-related informat...
FSTTCS
2005
Springer
14 years 2 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...