3564 search results - page 520 / 713 » Evaluating a Formal Modelling Language |
90
Voted
ICSE
2008
IEEE-ACM
15 years 11 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
WADT
2004
Springer
15 years 3 months ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
116
Voted
QEST
2009
IEEE
15 years 5 months ago
2009
IEEE
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...
CIKM
2010
Springer
14 years 9 months ago
2010
Springer
Scientists depend on literature search to find prior work that is relevant to their research ideas. We introduce a retrieval model for literature search that incorporates a wide ...
APSEC
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...