Search results for "CO OPN/2"

Found 6 publication records. Showing 6 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
92	Didier Buchs, Nicolas Guelfi	A Formal Specification Framework for Object-Oriented Distributed Systems.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	algebraic Petri nets, distributed systems, Formal specifications, concurrency, object-orientation, refinement, algebraic specifications, subtyping
70	O. Biberstein, Didier Buchs, Nicolas Guelfi	Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
18	Didier Buchs, Mathieu Buffo	Rapid Prototyping of Formally Modelled Distributed Systems.	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF
18	Giovanna Di Marzo Serugendo, Nicolas Guelfi, Alexander B. Romanovsky, Avelino F. Zorzo	Formal Development and Validation of Java Dependable Distributed Systems.	ICECCS	1999	DBLP DOI BibTeX RDF	Structuring Complex Concurrent Systems, CO_OPN/2, Formal Development Stepwise Refinement, Design for Validation, CA Actions
18	Giovanna Di Marzo Serugendo, Nicolas Guelfi	Using Object-Oriented Algebraic Nets for the Reverse Engineering of Java Programs: A Case Study.	ACSD	1998	DBLP DOI BibTeX RDF	Concurrent and Distributed Systems, Java, Petri Nets, Reverse Engineering, Algebraic Specifications, Property Verification
18	Stéphane Barbey, Didier Buchs, Cécile Péraire	A Theory of Specification-Based Testing for Object-Oriented Software.	EDCC	1996	DBLP DOI BibTeX RDF	black-box testing strategy, testing, formal methods, object-orientation, validation and verification, test and evaluation

Displaying result #1 - #6 of 6 (100 per page; Change: )