795 search results - page 105 / 159 » A Formal Approach to Heterogeneous Software Modeling |
127
Voted
FMCO
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
100
click to vote
ASE
2008
15 years 18 days ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
121
click to vote
DSVIS
2008
Springer
15 years 2 months ago
2008
Springer
The design of interactive software that populates an ambient space is a complex and ad-hoc process with traditional software development approaches. In an ambient space, important ...
114
Voted
FMICS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
110
click to vote
WADT
1998
Springer
15 years 4 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...