default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st RelMiS 2001: Genova, Italy
- Wolfram Kahl, David Lorge Parnas, Gunther Schmidt:
First International Workshop on Relational Methods in Software, RelMiS 2001, a Satellite Event of ETAPS 2001, Genova, Italy, April 7-8, 2001. Electronic Notes in Theoretical Computer Science 44(3), Elsevier 2001 - David Lorge Parnas:
The Tabular Method for Relational Documentation. 1-26 - Rudolf Berghammer, Thorsten Hoffmann
, Barbara Leoniuk, Ulf Milanese:
Prototyping and Programming with Relations. 27-50 - Wolfram Kahl:
Refinement and Development of Programs from Relational Specifications. 51-93 - Diego Del Gobbo, Ali Mili:
An Application of Relational Algebra: Specification of a Fault Tolerant Flight Control System. 94-111 - Ridha Khédri:
Requirements Scenarios Formalization Technique: N Versions Towards One Good Version. 112-135 - Eugenio G. Omodeo, Ernst-Erich Doberkat:
Algebraic semantics of ER-models in the context of the calculus of relations. 136-152 - Andrea Formisano, Eugenio G. Omodeo, Marta Simeoni:
A graphical approach to relational reasoning. 153-174 - Roberto Bruni, Fabio Gadducci:
Some algebraic laws for spans. 175-193 - Michael Winter:
Generating Processes from Specifications using the Relation Manipulation System RelView. 194-220 - Wolfram Kahl, David Lorge Parnas, Gunther Schmidt:
RelMiS 2001 - Preface. 221-223
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-15 22:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
