scientific article; zbMATH DE number 578247
From MaRDI portal
Publication:4293540
zbMATH Open0827.68030MaRDI QIDQ4293540FDOQ4293540
Authors: Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli
Publication date: 29 May 1994
Title of this publication is not available (Why is that?)
Recommendations
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (20)
- The application of hypergroups in symbolic executions and finite automata
- Consistent database sampling as a database prototyping approach
- Title not available (Why is that?)
- On teaching software engineering based on formal techniques -- thoughts about and plans for -- a different software engineering textbook
- Separation of concerns in teaching software engineering
- Title not available (Why is that?)
- Title not available (Why is that?)
- Software engineering for engineers and computer scientists. Planning, design and implementation. Ed. by Otto Mildenberger
- A theory of implementation and refinement in timed Petri nets
- DSOL: a declarative approach to self-adaptive service orchestrations
- Hierarchically specified unit disk graphs
- Title not available (Why is that?)
- A document driven methodology for developing a high quality parallel mesh generation toolbox
- Requirements analysis for engineering computation: a systematic approach for improving reliability
- Title not available (Why is that?)
- Hierarchically specified unit disk graphs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Simulation relations for fault-tolerance
- A probabilistic framework for cooperative multi-agent distributed interpretation and optimization of communication
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4293540)