795 search results - page 103 / 159 » A Formal Approach to Heterogeneous Software Modeling |
137
click to vote
JOT
2008
15 years 3 months ago
2008
As Service-Oriented Computing is gaining mainstream adoption, Services are emerging as core-building blocks of today's applications. In particular, web services have become t...
122
click to vote
BIOINFORMATICS
2007
15 years 3 months ago
2007
Motivation: Genome maps are fundamental to the study of an organism and essential in the process of genome sequencing which in turn provides the ultimate map of the genome. The in...
194
click to vote
FAABS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
132
click to vote
FMICS
2007
Springer
15 years 10 months ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
265
click to vote
FM
1997
Springer
15 years 8 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...