2060 search results - page 26 / 412 » The Composition of Event-B Models |
MODELS
2007
Springer
15 years 5 months ago
2007
Springer
103
click to vote
MODELS
2009
Springer
15 years 5 months ago
2009
Springer
Model-based development of highly complex software systems leads to large models. Storing them in repositories offers the possibility to work with these models in a distributed env...
QEST
2006
IEEE
15 years 5 months ago
2006
IEEE
Stochastic orders can be applied to Markov reward models and used to aggregate models, while introducing a bounded error. Aggregation reduces the number of states in a model, miti...
MODELS
2007
Springer
15 years 5 months ago
2007
Springer
Analyzing and modelling a software system with separate views is a good practice to deal with complexity and maintainability. When adopting such a modular approach for modelling, i...
FORTE
2007
15 years 15 days ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...