Search results for "Object-Z"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Alena Griffiths	'self'-Conscious Objects in Object-Z.	TOOLS (25)	1997	DBLP DOI BibTeX RDF	object-oriented formal specification, semantics, Object-Z, self
19	John Derrick, Graeme Smith 0001	Structural Refinement of Systems Specified in Object-Z and CSP.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	ensp, Integrated formal methods, Refinement, CSP, Object-Z
19	Nuno Amálio, Fiona Polack	Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z.	ZB	2003	DBLP DOI BibTeX RDF	formalisation, UML, specification, Z, Object-Z
17	Graeme Smith 0001, Florian Kammüller, Thomas Santen	Encoding Object-Z in Isabelle/HOL.	ZB	2002	DBLP DOI BibTeX RDF	reference semantics, Object-Z, higher-order logic, Isabelle
17	Kirsten Winter, Roger Duke	Model Checking Object-Z Using ASM.	IFM	2002	DBLP DOI BibTeX RDF	language transformation, automated tool support, model checking, Abstract State Machines, Object-Z
15	Zhicheng Wen, Huaikou Miao, Hongwei Zeng	Generating Proof Obligation to Verify Object-Z Specification.	ICSEA	2006	DBLP DOI BibTeX RDF	formal specification, Object-Z, proof obligation
15	Graeme Smith 0001, Ian J. Hayes	An Introduction to Real-Time Object-Z.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Real-time refinement, Timed refinement calculus, Object-Z, Real-time specification
15	Alena Griffiths	Modular reasoning in Object-Z.	APSEC	1997	DBLP DOI BibTeX RDF	formal specification validation, modular semantics, object property, system property, partial validation, formal specification, complex systems, Object-Z, proof, modular reasoning, large systems
15	Christie Bolton, Jim Davies	Refinement in Object-Z and CSP.	IFM	2002	DBLP DOI BibTeX RDF
14	Suk Kyung Shin, Soo Dong Kim	A Method to Transform Object-Oriented Design into Component-Based Design using Object-Z.	SERA	2005	DBLP DOI BibTeX RDF
14	John Derrick	Timed CSP and Object-Z.	ZB	2003	DBLP DOI BibTeX RDF	Refinement, Object-Z, Timed CSP
14	Soon-Kyeong Kim, David A. Carrington	An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study.	APSEC	2000	DBLP DOI BibTeX RDF	lighting control, Object-Z specifications, precise understandable specification, light control system, graphical specification technique, formal specification technique, semantic translation, real-time interactive embedded system, Unified Modeling Language, formal specification, case study, specification languages, systems analysis, object-oriented languages, object-oriented methods, diagrams, requirements elicitation, sequence diagrams, functional model, UML diagrams, integrated framework, use case diagrams, statechart diagrams
14	WoonKiong Tan	A semantic model of a small typed functional language using Object-Z.	APSEC	2000	DBLP DOI BibTeX RDF	typed functional language, Object-Z notation, object-oriented procedural languages, programming languages, specification languages, specification languages, object-oriented languages, abstract data types, object-oriented methods, functional languages, denotational semantics, semantic model, programming language semantics, meta-language
14	Alena Griffiths	An Extended Semantic Foundation For Object-Z.	APSEC	1996	DBLP DOI BibTeX RDF	formal specification, object orientation, reuse, modularity, Object-Z
14	Graeme Smith	Reasoning about Object-Z Specifications.	APSEC	1995	DBLP DOI BibTeX RDF	object orientation, Object-Z, proof systems, formal reasoning
14	Graeme Smith	An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems.	IFM	2002	DBLP DOI BibTeX RDF
14	David J. Duke, Roger Duke	Towards a Semantics for Object-Z.	VDM Europe	1990	DBLP DOI BibTeX RDF
12	Shengchao Qin, Guanhua He	Linking Object-Z with Spec#.	ICECCS	2007	DBLP DOI BibTeX RDF	Spec#, pre/post conditions, verification, Formal specification, Object-Z
12	Jin Song Dong, Roger Duke, Ping Hao	Integrating Object-Z with Timed Automata.	ICECCS	2005	DBLP DOI BibTeX RDF	Specification, Timed Automata, Object-Z
12	Jun Sun 0001, Jin Song Dong	Extracting FSMs from Object-Z Specifications with History Invariants.	ICECCS	2005	DBLP DOI BibTeX RDF	Software Specification, FSMs, Object-Z
12	John Derrick, Eerke A. Boiten	Combining Component Specifications in Object-Z and CSP.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Components, Refinement, CSP, Viewpoints, LOTOS, Object-Z
12	Andrew Hussey, David A. Carrington	Specifying the UQ* user-interface with Object-Z.	APSEC	1997	DBLP DOI BibTeX RDF	formal methods, specification, Human-computer interface, Object-Z
12	Huaikou Miao, Zhicheng Wen	An Approach to Extending Object-Z with Real-Time.	DELTA	2006	DBLP DOI BibTeX RDF
12	Ling Liu, Huaikou Miao	Mutation Operators for Object-Z Specification.	ICECCS	2005	DBLP DOI BibTeX RDF
12	Graeme Smith 0001, Ian J. Hayes	Structuring Real-Time Object-Z Specifications.	IFM	2000	DBLP DOI BibTeX RDF
12	Graeme Smith 0001	A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems.	FME	1997	DBLP DOI BibTeX RDF
12	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
12	Andrew Hussey	Formal Object-Oriented User-Interface Design.	Australian Software Engineering Conference	2000	DBLP DOI BibTeX RDF	Interactive-system specification and design, UAN, object-orientation, Object-Z
11	Kasilingam Periyasamy, Ciby Mathew	Paradigm shift in software re-engineering: an experience report.	CASCON	1996	DBLP BibTeX RDF
11	Jason McDonald, Leesa Murray, Paul A. Strooper	Translating Object-Z Specifications to Object-Oriented Test Oracles.	APSEC	1997	DBLP DOI BibTeX RDF
11	Fathi Taibi, Jacob Karikottu Daniel, Fouad Mohammed Abbou	On checking the consistency of Object-Z classes.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	model checking, formal specification, consistency, Object-Z, specification testing, model abstraction
11	Brendan P. Mahony, Jin Song Dong	Deep Semantic Links of TCSP and Object-Z: TCOZ Approach.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	TCSP, Integrated Formal Methods, Object-Z, TCOZ
11	Andrew Hussey	Using Design Patterns to Derive PAC Architectures from Object-Z Specifications.	TOOLS (32)	1999	DBLP DOI BibTeX RDF	PAC, Interactive system architecture, Design patterns, Object-Z
10	Steve Dunne	Understanding Object-Z Operations as Generalised Substitutions.	IFM	2004	DBLP DOI BibTeX RDF
10	Tim McComb	Refactoring Object-Z Specifications.	FASE	2004	DBLP DOI BibTeX RDF
10	Jason McDonald, Paul A. Strooper, Daniel Hoffman	Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications.	APSEC	2003	DBLP DOI BibTeX RDF
10	Xiaolei Gao, Huaikou Miao, Yihai Chen	Structured Object-Z Software Specification Language.	GCC (1)	2003	DBLP DOI BibTeX RDF
10	John Derrick, Graeme Smith 0001	Structural Refinement in Object-Z/CSP.	IFM	2000	DBLP DOI BibTeX RDF
10	Pablo Gruer, Vincent Hilaire, Abder Koukam	Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem.	FASE	2000	DBLP DOI BibTeX RDF
10	Soon-Kyeong Kim, David A. Carrington	A Tool for a Formal Pattern Modeling Language.	ICFEM	2006	DBLP DOI BibTeX RDF	Formal Pattern Modeling Language, Pattern Tool, Design Pattern, Model Transformation, Object-Z, Model Evolution
10	Luke Wildman, Roger Duke, Paul A. Strooper	Viewpoint-Based Testing of Concurrent Components.	IFM	2004	DBLP DOI BibTeX RDF	Test Template Framework, Java, Concurrency, Viewpoints, Object-Z
10	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
10	Ling Liu, Huaikou Miao, Xuede Zhan	A Framework for Specification-Based Class Testing.	ICECCS	2002	DBLP DOI BibTeX RDF	test class framework, finite state machine (FSM), state transition tree, Object-Z, class testing
9	Jing Sun 0002, Jin Song Dong, Jing Liu, Hai H. Wang	Object-Z web environment and projections to UML.	WWW	2001	DBLP DOI BibTeX RDF	XML/XSL/XMI, XML, UML, UML, WEB, object-Z
9	Sören Preibusch, Florian Kammüller	Checking the TWIN Elevator System by Translating Object-Z to SMV.	FMICS	2007	DBLP DOI BibTeX RDF
9	Tim McComb, Graeme Smith 0001	Compositional Class Refinement in Object-Z.	FM	2006	DBLP DOI BibTeX RDF
9	Hong Li Yang, Jin Song Dong, Ke Gang Hao, Jun Gang Han	Formalizing Semantics of XSLT Using Object-Z.	APWeb	2003	DBLP DOI BibTeX RDF
9	Tim McComb, Graeme Smith 0001	Animation of Object-Z Specifications Using a Z Animator.	SEFM	2003	DBLP DOI BibTeX RDF
9	Huaikou Miao, Ling Liu, Li Li	Formalizing UML Models with Object-Z.	ICFEM	2002	DBLP DOI BibTeX RDF
9	Soon-Kyeong Kim, David A. Carrington, Roger Duke	A Metamodel-based transformation between UML and Object-Z.	HCC	2001	DBLP DOI BibTeX RDF
9	Brendan P. Mahony, Jin Song Dong	Timed Communicating Object Z.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Software/system specification, real-time systems, formal methods, concurrency, CSP, object-oriented modeling, Z
9	Chris Taylor, John Derrick, Eerke A. Boiten	A Case Study in Partial Specification: Consistency and Refinement for Object-Z.	ICFEM	2000	DBLP DOI BibTeX RDF
9	Soon-Kyeong Kim, David A. Carrington	A Formal Mapping between UML Models and Object-Z Specifications.	ZB	2000	DBLP DOI BibTeX RDF
8	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
8	Jin Song Dong, Ping Hao, Xian Zhang 0007, Shengchao Qin	HighSpec: a tool for building and checking OZTA models.	ICSE	2006	DBLP DOI BibTeX RDF	verification, timed automata, object-Z, structural design
8	Tim Miller 0001, Leo Freitas, Petra Malik, Mark Utting	CZT Support for Z Extensions.	IFM	2005	DBLP DOI BibTeX RDF	Standard Z, typechecking, animation, framework, design patterns, parsing, Object-Z, AST, TCOZ
8	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
8	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
8	Luong T. Nguyen, Liping Zhao 0001, Bill Appelbe	A Set Approach to Role Modeling.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	set approach, role modeling techniques, role description, role binding, role constraints, set inclusion, role specialisation, role compositions, part role, set notation, dynamic description, class/role relationships, class/role structures, Object-Z-like notation, system obligations, Petri net transitions, objects/role instances, system operations, formal specification, formal method, Petri nets, object-oriented programming, object-oriented methods, set theory, EMS, graphic notations, dynamic aspects, set operations, set intersection, formal notation, set union, set unions, set difference
8	John C. Grundy, John G. Hosking	Software Environment Support for Integrated Formal Program Specification and Development.	APSEC	1995	DBLP DOI BibTeX RDF	integrated software development, formal specification, Object-Z, software engineering environments, consistency management
8	Sherri M. Sanders, Cui Zhang	Object-Z to Java/OO-Perl: A Conversion from Object-Z to Executable Skeletal Code with Dynamically Checkable Design Contracts.	SEKE	2008	DBLP BibTeX RDF
8	Kevin Lano	Book Review: Formal Object-Oriented Specification Using Object-Z, by Roger Duke and Gordon Rose, Macmillan Press.	Softw. Test. Verification Reliab.	2001	DBLP BibTeX RDF
8	Chun-Yu Chen, Richard Chapman 0001, Kai H. Chang	Test scenario and regression test suite generation from Object-Z formal specification for object-oriented program testing.	ACM Southeast Regional Conference	1999	DBLP DOI BibTeX RDF
8	David A. Carrington, David J. Duke, Roger Duke, Paul King, Gordon A. Rose, Graeme Smith 0001	Object-Z: An Object-Oriented Extension to Z.	FORTE	1989	DBLP BibTeX RDF
7	Tim McComb, Graeme Smith 0001	A Minimal Set of Refactoring Rules for Object-Z.	FMOODS	2008	DBLP DOI BibTeX RDF
7	Ling Yuan, Jin Song Dong, Jing Sun 0002	Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL.	APSEC	2006	DBLP DOI BibTeX RDF
7	Adnan Ashraf, Aamer Nadeem	Automating the Generation of Test Cases from Object-Z Specifications.	COMPSAC (2)	2006	DBLP DOI BibTeX RDF
7	Jörn Guy Süß, Tim McComb, Soon-Kyeong Kim, Luke Wildman, Geoffrey Watson	MDA-Based Re-engineering with Object-Z.	MoDELS	2006	DBLP DOI BibTeX RDF
7	Benjamin W. Long	Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-Z.	ZB	2005	DBLP DOI BibTeX RDF
7	Tim McComb, Graeme Smith 0001	Architectural Design in Object-Z.	Australian Software Engineering Conference	2004	DBLP DOI BibTeX RDF
7	Soon-Kyeong Kim, David A. Carrington	Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML.	APSEC	2004	DBLP DOI BibTeX RDF
7	Kenji Taguchi 0001, Jin Song Dong, Gabriel Ciobanu	Relating pi-calculus to Object-Z.	ICECCS	2004	DBLP DOI BibTeX RDF
7	Kirsten Winter, Graeme Smith 0001	Compositional Verification for Object-Z.	ZB	2003	DBLP DOI BibTeX RDF
7	Roger Duke, Luke Wildman, Brad Long	Modelling Java Concurrency with Object-Z.	SEFM	2003	DBLP DOI BibTeX RDF
7	Kenji Taguchi 0001, Jin Song Dong	An Overview of Mobile Object-Z.	ICFEM	2002	DBLP DOI BibTeX RDF
7	Graeme Smith	Recursive Schema Definitions in Object-Z.	ZB	2000	DBLP DOI BibTeX RDF
7	Detlef Kreuz	Formal Specification of CORBA Services Using Object-Z.	ICFEM	1998	DBLP DOI BibTeX RDF
7	Christie Bolton, Jim Davies	A singleton failures semantics for Communicating Sequential Processes.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Simulation rules, Semantics, Refinement, CSP, Z, Object-Z, Data types
7	Leesa Murray, David A. Carrington, Ian MacColl, Paul A. Strooper	TinMan - A Test Derivation and Management Tool for Specification-Based Class Testing.	TOOLS (32)	1999	DBLP DOI BibTeX RDF	formal methods, specification-based testing, Object-Z, testing tools
7	John Cooke, B. Tim Denvir	Editorial.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF
7	Soon-Kyeong Kim, David A. Carrington	A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints.	ZB	2002	DBLP DOI BibTeX RDF
7	Chuanfeng Chen, Zengzhi Li	Internet Object-Oriented Information Model.	TOOLS (36)	2000	DBLP DOI BibTeX RDF
7	Kasilingam Periyasamy, Vangalur S. Alagar	Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems.	WIFT	1998	DBLP DOI BibTeX RDF
7	Rohan Fletcher, A. S. M. Sajeev	A Framework for Testing Object-Oriented Software Using Formal Specifications.	Ada-Europe	1996	DBLP DOI BibTeX RDF
7	Gerard Ellis	Object-Oriented Conceptual Graphs.	ICCS	1995	DBLP DOI BibTeX RDF
5	Hai H. Wang, Terry R. Payne, Nick Gibbins, Ahmed Saleh 0001	Formal Specification of OWL-S with Object-Z: The Dynamic Aspect.	WISE	2007	DBLP DOI BibTeX RDF
5	Hai H. Wang, Ahmed Saleh 0001, Terry R. Payne, Nick Gibbins	Formal Specification of OWL-S with Object-Z: the Static Aspect.	Web Intelligence	2007	DBLP DOI BibTeX RDF
5	Ingo Brückner, Heike Wehrheim	Slicing Object-Z Specifications for Verification.	ZB	2005	DBLP DOI BibTeX RDF
5	Anarosa Brandão, Paulo S. C. Alencar, Carlos José Pereira de Lucena	AgentZ: Extending Object-Z for Multi-agent Systems Specification.	AOIS	2004	DBLP DOI BibTeX RDF
5	Soon-Kyeong Kim, David A. Carrington	A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z.	ICFEM	2002	DBLP DOI BibTeX RDF
5	Graeme Smith 0001, John Derrick	Abstract Specification in Object-Z and CSP.	ICFEM	2002	DBLP DOI BibTeX RDF
5	Geoff Kassel, Graeme Smith 0001	Model Checking Object-Z Classes: Some Experiments with FDR.	APSEC	2001	DBLP DOI BibTeX RDF
5	Jason McDonald, Paul A. Strooper	Translating Object-Z Specifications to Passive Test Oracles.	ICFEM	1998	DBLP DOI BibTeX RDF
5	Lichen Zhang	Formal Specification for Real Time Cyber Physical Systems Using Aspect-Oriented Approach.	TASE	2011	DBLP DOI BibTeX RDF	Real Time, Formal Method, Aspect-oriented, Object-Z, Cyber Physical Systems, Timed-CSP
5	John Derrick, Gerhard Schellhorn, Heike Wehrheim	Proving Linearizability Via Non-atomic Refinement.	IFM	2007	DBLP DOI BibTeX RDF	refinement, CSP, Object-Z, linearizability, concurrent access
5	David A. Duce, David J. Duke, Giorgio P. Faconti, Ivan Herman	The Changing Face of Standardization: A Place for Formal Methods?	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	PREMO, Distributed systems, Standards, Object-Z, Multi-media
5	Kinh Nguyen, Tharam S. Dillon	Bridging the Gap Between Object Oriented Design and Implementation.	TOOLS (27)	1998	DBLP DOI BibTeX RDF	Object oriented system development, modelling, prototyping, Object-Z
5	Paul W. King	Formalization of Protocol Engineering Concepts.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	communication system development, relational notation, complexity, formal specification, Petri nets, Petri nets, protocols, communication protocols, behavioral models, LOTOS, design principles, Object-Z, formal description techniques, Z notation, structural models
5	Tim McComb, Graeme Smith 0001	Introducing Objects through Refinement.	FM	2008	DBLP DOI BibTeX RDF
5	Ling Yuan, Jin Song Dong, Jing Sun 0002, Hamid Abdul Basit	Generic Fault Tolerant Software Architecture Reasoning and Customization.	IEEE Trans. Reliab.	2006	DBLP DOI BibTeX RDF