scientific article; zbMATH DE number 578247

MaRDI QIDQ4293540zbMATH OpenFDO

Authors Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli

Publication date 29 May 1994

zbMATH Keywords

AdadesignModula-2Petri netssoftware engineering

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited in

(22)

• A theory of implementation and refinement in timed Petri nets
• Hierarchically specified unit disk graphs
• Simulation relations for fault-tolerance
• The application of hypergroups in symbolic executions and finite automata
• A probabilistic framework for cooperative multi-agent distributed interpretation and optimization of communication
• On teaching software engineering based on formal techniques -- thoughts about and plans for -- a different software engineering textbook
• Software engineering for engineers and computer scientists. Planning, design and implementation. Ed. by Otto Mildenberger
• scientific article; zbMATH DE number 4054990 (Why is no real title available?)
• scientific article; zbMATH DE number 42724 (Why is no real title available?)
• scientific article; zbMATH DE number 46827 (Why is no real title available?)
• scientific article; zbMATH DE number 49463 (Why is no real title available?)
• scientific article; zbMATH DE number 517259 (Why is no real title available?)
• scientific article; zbMATH DE number 606833 (Why is no real title available?)
• DSOL: a declarative approach to self-adaptive service orchestrations
• scientific article; zbMATH DE number 194535 (Why is no real title available?)
• Consistent database sampling as a database prototyping approach
• Separation of concerns in teaching software engineering
• scientific article; zbMATH DE number 1395608 (Why is no real title available?)
• scientific article; zbMATH DE number 959013 (Why is no real title available?)
• Hierarchically specified unit disk graphs
• A document driven methodology for developing a high quality parallel mesh generation toolbox
• Requirements analysis for engineering computation: a systematic approach for improving reliability

Describes a project that uses

Uses Software

• Modula

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)