1809 search results - page 203 / 362 » A Formal Specification of dMARS |
SPIN
2000
Springer
14 years 25 days ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
UML
2000
Springer
14 years 25 days ago
2000
Springer
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static met...
ECOWS
2009
Springer
14 years 16 days ago
2009
Springer
— Web services exposing run-time behaviour that deviates from their behavioural specifications represent a major threat to the sustainability of a service-oriented ecosystem. It ...
RULEML
2010
Springer
13 years 7 months ago
2010
Springer
The main source of changing requirements of the dynamic business environment is response to changes in regulations and contracts towards ...
AIME
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Clinical guidelines (GLs) play an important role to standardize and organize clinical processes according to evidence-based medicine. Several computer-based GL representa...