1454 search results - page 154 / 291 » Stateful traits and their formalization |
189
click to vote
ICAIL
2003
ACM
16 years 10 days ago
2003
ACM
This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that suppor...
184
Voted
SIGSOFT
2003
ACM
16 years 10 days ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
200
click to vote
ASM
2003
ASM
16 years 9 days ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...
218
click to vote
FMCO
2003
Springer
16 years 9 days 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...
191
click to vote
SAC
2010
ACM
16 years 6 days ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...