The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase object-Z (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1989-1995 (18) 1996-1997 (17) 1998-1999 (21) 2000 (19) 2001-2002 (35) 2003 (16) 2004 (16) 2005 (17) 2006 (20) 2007-2008 (18) 2009-2014 (16) 2015-2023 (6)
Publication types (Num. hits)
article(37) book(2) incollection(1) inproceedings(178) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 250 occurrences of 131 keywords

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