470 search results - page 69 / 94 » Test Case Generation Based on State and Activity Models |
114
Voted
TSE
2008
15 years 10 days ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
106
Voted
CPHYSICS
2007
15 years 13 days ago
2007
A new method was proposed by Mongan et al for constant pH molecular dynamics simulation and was implemented in AMBER 8 package. Protonation states are modeled with different char...
105
click to vote
ATAL
2011
Springer
14 years 13 days ago
2011
Springer
Building on research previously reported at AAMAS conferences, this paper describes an innovative application of a novel gametheoretic approach for a national scale security deplo...
UML
2005
Springer
15 years 6 months ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
TACAS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...