Search results for "CSP-OZ"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
64	Heike Wehrheim	Data Abstraction Techniques in the Validation of CSP-OZ Specifications.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Integrated formal methods, CSP-OZ, Verification, Data abstraction
58	Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim	A CSP View on UML-RT Structure Diagrams.	FASE	2001	DBLP DOI BibTeX RDF
57	Michael Möller 0002, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim	Linking CSP-OZ with UML and Java: A Case Study.	IFM	2004	DBLP DOI BibTeX RDF	Java, UML, CSP, assertions, Object-Z, runtime checking
57	Ernst-Rüdiger Olderog, Heike Wehrheim	Specification and Inheritance in CSP-OZ.	FMCO	2002	DBLP DOI BibTeX RDF	failure divergence semantics, safety and liveness properties, model-checking, CSP, inheritance, Object-Z, FDR
50	David A. Basin, Ernst-Rüdiger Olderog, Paul E. Sevinç	Specifying and analyzing security automata using CSP-OZ.	AsiaCCS	2007	DBLP DOI BibTeX RDF	CSP-OZ, security automata
49	Heike Wehrheim	Data Abstraction for CSP-OZ.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
44	Renata Kaufman, Augusto Sampaio, Alexandre Mota 0001	Formalisation and Analysis of Objects as CSP Processes.	SBMF	2009	DBLP DOI BibTeX RDF	Design Pattern, CSP, Object-Z, Object-Oriented Specification
42	Ana Cavalcanti 0001, Augusto Sampaio	From CSP-OZ to Java with Processes.	IPDPS	2002	DBLP DOI BibTeX RDF	refinement calculi, concurrency, program development
36	Jochen Hoenicke, Ernst-Rüdiger Olderog	Combining Specification Techniques for Processes, Data and Time.	IFM	2002	DBLP DOI BibTeX RDF	transformational semantic, model-checking, CSP, Object-Z, real-time processes, FDR, Duration Calculus, UPPAAL
29	Moritz Kleine, Björn Bartels, Thomas Göthel, Sabine Glesner	Verifying the Implementation of an Operating System Scheduler.	TASE	2009	DBLP DOI BibTeX RDF
29	Heike Wehrheim	Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods.	FASE	2000	DBLP DOI BibTeX RDF
22	Michael Möller 0002, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim	Integrating a formal method into a software engineering process with UML and Java.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Java, Modelling, Model checking, UML, Formal specification, CSP, Contracts, Object-Z, Runtime checking
22	Johannes Faber, Roland Meyer 0001	Model Checking Data-Dependent Real-Time Properties of the European Train Control System.	FMCAD	2006	DBLP DOI BibTeX RDF
20	Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans	Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters.	IFM	2007	DBLP DOI BibTeX RDF
15	Ingo Brückner	Slicing Concurrent Real-Time System Specifications for Verification.	IFM	2007	DBLP DOI BibTeX RDF
15	Jochen Hoenicke, Patrick Maier 0001	Model-Checking of Specifications Integrating Processes, Data and Time.	FM	2005	DBLP DOI BibTeX RDF
13	Azman Bin Bujang Masli	Temporal property preservation under the refinement of CSP-OZ specifications.		2011	RDF
13	Tahar Bendouma	La combinaison d'UML avec la méthode formelle CSP-OZ pour le développement d'applications bases des données.	INFORSID	2009	DBLP BibTeX RDF
13	Ping Gong 0004, Keqing He, Jian Wang 0018, Zaiwen Feng	Dynamic semantics of OWL-S in CSP-OZ.	ACSD	2008	DBLP DOI BibTeX RDF
13	Ernst-Rüdiger Olderog, Heike Wehrheim	Specification and (property) inheritance in CSP-OZ.	Sci. Comput. Program.	2005	DBLP DOI BibTeX RDF
13	Jochen Hoenicke, Ernst-Rüdiger Olderog	CSP-OZ-DC: A Combination of Specification Techniques for Processes, Data and Time.	Nord. J. Comput.	2002	DBLP BibTeX RDF
13	Clemens Fischer	Combination and implementation of processes and data: from CSP-OZ to Java.		2000	RDF
13	Clemens Fischer, Heike Wehrheim	Model-Checking CSP-OZ Specifications with FDR.	IFM	1999	DBLP DOI BibTeX RDF