448 search results - page 39 / 90 » A Meta-Method for Formal Method Integration |
164
click to vote
FORTE
2009
15 years 1 months ago
2009
Orc was originally presented as a process calculus. It has now evolved into a full programming language, which we describe in this paper. The language has the structure and feel of...
134
Voted
IFM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...
105
click to vote
APSEC
2000
IEEE
15 years 6 months ago
2000
IEEE
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
130
click to vote
DAGSTUHL
2007
15 years 4 months ago
2007
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...
150
click to vote
TLDI
2010
ACM
16 years 4 days ago
2010
ACM
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...