2875 search results - page 352 / 575 » Model checking agentspeak |
113
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
139
click to vote
FMCO
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
111
Voted
ACISICIS
2010
IEEE
15 years 4 months ago
2010
IEEE
Recently, software size becomes larger, and consequently, not only a software developer but also a software purchaser suffers considerable losses by software project failure. So av...
155
Voted
ICWS
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...
104
click to vote
CSDA
2008
15 years 3 months ago
2008
The most often used approaches to obtaining and using residuals in applied work with time series models, are unified and documented with both partially-known and new features. Spe...