Sciweavers

Share
BIRTHDAY
2005
Springer
9 years 2 months ago
Main Concepts of Networks of Transformation Units with Interlinking Semantics
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...
Dirk Janssens, Hans-Jörg Kreowski, Grzegorz R...
BIRTHDAY
2005
Springer
9 years 2 months ago
Psychological Validity of Schematic Proofs
Schematic proofs are functions which can produce a proof of a proposition for each value of their parameters. A schematic proof can be constructed by abstracting a general pattern ...
Mateja Jamnik, Alan Bundy
BIRTHDAY
2005
Springer
9 years 2 months ago
Formal Software Development in MAYA
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...
Dieter Hutter, Serge Autexier
BIRTHDAY
2005
Springer
9 years 2 months ago
Graph Transformation with Variables
Abstract. Variables make rule-based systems more abstract and expressive, as witnessed by term rewriting systems and two-level grammars. In this paper we show that variables can be...
Berthold Hoffmann
BIRTHDAY
2005
Springer
9 years 2 months ago
Separation - Past, Present, and Future
Ian M. Hodkinson, Mark Reynolds
BIRTHDAY
2005
Springer
9 years 2 months ago
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
David Harel, Hillel Kugler, Amir Pnueli
BIRTHDAY
2005
Springer
9 years 2 months ago
Formal Approaches to Teamwork
John Grant, Sarit Kraus, Donald Perlis
books