3765 search results - page 96 / 753 » Formal Methods for Systems Engineering Behavior Models |
140
click to vote
ACISICIS
2005
IEEE
15 years 8 months ago
2005
IEEE
Ubiquitous computing is viewed as a computing paradigm where minimal user intervention is necessitated emphasizing detection of environmental conditions and user behaviors in orde...
141
Voted
IANDC
2011
14 years 9 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
115
Voted
ICSR
2009
Springer
15 years 9 months ago
2009
Springer
FeatuRSEB is a method for domain modeling of software system families using the industry standard notation of the Unified Modeling Language. FeatuRSEB/Sys is an extension of FeatuR...
108
click to vote
CODES
2001
IEEE
15 years 6 months ago
2001
IEEE
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
122
click to vote
APSEC
1997
IEEE
15 years 6 months ago
1997
IEEE
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...