1481 search results - page 155 / 297 » Enriching the Software Development Process by Formal Methods |
121
click to vote
IEAAIE
2005
Springer
15 years 9 months ago
2005
Springer
A specification language for performance indicators and their relations and requirements is presented and illustrated for a case study in logistics. The language can be used in dif...
133
click to vote
POPL
2000
ACM
15 years 7 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
193
click to vote
IFL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
135
click to vote
IUI
2004
ACM
15 years 9 months ago
2004
ACM
We have developed an automatic DTB production platform [3], which is capable of flexibly generating different user interfaces for talking books. DTBs are built from digital copies ...
241
click to vote
SCFBM
2008
15 years 3 months ago
2008
Background: Computer simulations are of increasing importance in modeling biological phenomena. Their purpose is to predict behavior and guide future experiments. The aim of this ...