|
|
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 |
28 | Alena Griffiths |
'self'-Conscious Objects in Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (25) ![In: TOOLS 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 24-28 November 1997, Melbourne, Australia, pp. 210-224, 1997, IEEE Computer Society, 0-8186-8485-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 15(1), pp. 1-27, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings, pp. 339-358, 2003, Springer, 3-540-40253-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings, pp. 82-99, 2002, Springer, 3-540-43166-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
reference semantics, Object-Z, higher-order logic, Isabelle |
17 | Kirsten Winter, Roger Duke |
Model Checking Object-Z Using ASM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings, pp. 165-184, 2002, Springer, 3-540-43703-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSEA ![In: Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28 - November 2, 2006, Papeete, Tahiti, French Polynesia, pp. 38, 2006, IEEE Computer Society, 0-7695-2703-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 13(2), pp. 128-141, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Real-time refinement, Timed refinement calculus, Object-Z, Real-time specification |
15 | Alena Griffiths |
Modular reasoning in Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 2-5 December 1997, Clear Water Bay, Hong Kong, pp. 140-149, 1997, IEEE Computer Society, 0-8186-8271-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings, pp. 225-244, 2002, Springer, 3-540-43703-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: Third ACIS International Conference on Software Engineering, Research, Management and Applications (SERA 2005), 11-13 August 2005, Mt. Pleasant, MI, USA, pp. 274-281, 2005, IEEE Computer Society, 0-7695-2297-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | John Derrick |
Timed CSP and Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings, pp. 300-318, 2003, Springer, 3-540-40253-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 240-248, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 249-257, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 3rd Asia-Pacific Software Engineering Conference (APSEC '96), December 4-7, 1996, Seoul, South Korea, pp. 194-, 1996, IEEE Computer Society, 0-8186-7638-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
formal specification, object orientation, reuse, modularity, Object-Z |
14 | Graeme Smith |
Reasoning about Object-Z Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 2nd Asia-Pacific Software Engineering Conference (APSEC '95), December 6-9, 1995, Brisbane, Queensland, Australia, pp. 489-497, 1995, IEEE Computer Society, 0-8186-7171-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings, pp. 267-285, 2002, Springer, 3-540-43703-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | David J. Duke, Roger Duke |
Towards a Semantics for Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe ![In: VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings, pp. 244-261, 1990, Springer, 3-540-52513-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
12 | Shengchao Qin, Guanhua He |
Linking Object-Z with Spec#. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand, pp. 185-196, 2007, IEEE Computer Society, 978-0-7695-2895-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China, pp. 488-497, 2005, IEEE Computer Society, 0-7695-2284-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China, pp. 96-105, 2005, IEEE Computer Society, 0-7695-2284-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Software Specification, FSMs, Object-Z |
12 | John Derrick, Eerke A. Boiten |
Combining Component Specifications in Object-Z and CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 13(2), pp. 111-127, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 2-5 December 1997, Clear Water Bay, Hong Kong, pp. 374-, 1997, IEEE Computer Society, 0-8186-8271-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DELTA ![In: Third IEEE International Workshop on Electronic Design, Test and Applications (DELTA 2006), 17-19 January 2006, Kuala Lumpur, Malaysia, pp. 345-349, 2006, IEEE Computer Society, 0-7695-2500-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Ling Liu, Huaikou Miao |
Mutation Operators for Object-Z Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China, pp. 498-506, 2005, IEEE Computer Society, 0-7695-2284-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Graeme Smith 0001, Ian J. Hayes |
Structuring Real-Time Object-Z Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings, pp. 97-115, 2000, Springer, 3-540-41196-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Graeme Smith 0001 |
A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings, pp. 62-81, 1997, Springer, 3-540-63533-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
12 | Renata Kaufman, Augusto Sampaio, Alexandre Mota 0001 |
Formalisation and Analysis of Objects as CSP Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers, pp. 236-250, 2009, Springer, 978-3-642-10451-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Design Pattern, CSP, Object-Z, Object-Oriented Specification |
12 | Andrew Hussey |
Formal Object-Oriented User-Interface Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 12th Australian Software Engineering Conference (ASWEC 2000), 28-30 April 2000, Canberra, Australia, pp. 129-138, 2000, IEEE Computer Society, 0-7695-0631-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative Research, November 12-14, 1996, Toronto, Ontario, Canada, pp. 32, 1996, IBM. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
11 | Jason McDonald, Leesa Murray, Paul A. Strooper |
Translating Object-Z Specifications to Object-Oriented Test Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 2-5 December 1997, Clear Water Bay, Hong Kong, pp. 414-, 1997, IEEE Computer Society, 0-8186-8271-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Fathi Taibi, Jacob Karikottu Daniel, Fouad Mohammed Abbou |
On checking the consistency of Object-Z classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 32(4), 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 13(2), pp. 142-160, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (32) ![In: TOOLS Pacific 1999: 32nd International Conference on Technology of Object-Oriented Languages and Systems, 22-25 November 1999, Melbourne, Australia, pp. 40-51, 1999, IEEE Computer Society, 0-7695-0462-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
PAC, Interactive system architecture, Design patterns, Object-Z |
10 | Steve Dunne |
Understanding Object-Z Operations as Generalised Substitutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, pp. 328-342, 2004, Springer, 3-540-21377-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Tim McComb |
Refactoring Object-Z Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings, pp. 69-83, 2004, Springer, 3-540-21305-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 10-12 December 2003, Chiang Mai, Thailand, pp. 322-331, 2003, IEEE Computer Society, 0-7695-2011-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Xiaolei Gao, Huaikou Miao, Yihai Chen |
Structured Object-Z Software Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC (1) ![In: Grid and Cooperative Computing, Second International Workshop, GCC 2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part I, pp. 956-963, 2003, Springer, 3-540-21988-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | John Derrick, Graeme Smith 0001 |
Structural Refinement in Object-Z/CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings, pp. 194-213, 2000, Springer, 3-540-41196-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 222-236, 2000, Springer, 3-540-67261-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Soon-Kyeong Kim, David A. Carrington |
A Tool for a Formal Pattern Modeling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, pp. 568-587, 2006, Springer, 3-540-47460-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, pp. 501-520, 2004, Springer, 3-540-21377-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, pp. 361-379, 2002, Springer, 3-540-20303-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2-4 December 2002, Greenbelt, MD, USA, pp. 153-162, 2002, IEEE Computer Society, 0-7695-1757-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the Tenth International World Wide Web Conference, WWW 10, Hong Kong, China, May 1-5, 2001, pp. 725-734, 2001, ACM, 1-58113-348-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers, pp. 38-55, 2007, Springer, 978-3-540-79706-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Tim McComb, Graeme Smith 0001 |
Compositional Class Refinement in Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, pp. 205-220, 2006, Springer, 3-540-37215-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb ![In: Web Technologies and Applications, 5th Asian-Pacific Web Conference, APWeb 2003, Xian, China, April 23-25, 2002, Proceedings, pp. 120-131, 2003, Springer, 3-540-02354-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Tim McComb, Graeme Smith 0001 |
Animation of Object-Z Specifications Using a Z Animator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia, pp. 191-, 2003, IEEE Computer Society, 0-7695-1949-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Huaikou Miao, Ling Liu, Li Li |
Formalizing UML Models with Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 523-534, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Soon-Kyeong Kim, David A. Carrington, Roger Duke |
A Metamodel-based transformation between UML and Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), September 5-7, 2001 Stresa, Italy, pp. 112-119, 2001, IEEE Computer Society, 0-7803-7198-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Brendan P. Mahony, Jin Song Dong |
Timed Communicating Object Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 26(2), pp. 150-177, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 177-188, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
9 | Soon-Kyeong Kim, David A. Carrington |
A Formal Mapping between UML Models and Object-Z Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings, pp. 2-21, 2000, Springer, 3-540-67944-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(2), pp. 161-204, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 775-778, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings, pp. 227-245, 2005, Springer, 3-540-30492-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, pp. 267-286, 2004, Springer, 3-540-21377-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings, pp. 245-266, 2002, Springer, 3-540-43703-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (37) ![In: TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000, pp. 158-169, 2000, IEEE Computer Society, 0-7695-0918-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 2nd Asia-Pacific Software Engineering Conference (APSEC '95), December 6-9, 1995, Brisbane, Queensland, Australia, pp. 264-273, 1995, IEEE Computer Society, 0-8186-7171-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), San Francisco, CA, USA, July 1-3, 2008, pp. 824-829, 2008, Knowledge Systems Institute Graduate School, 1-891706-22-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
8 | Kevin Lano |
Book Review: Formal Object-Oriented Specification Using Object-Z, by Roger Duke and Gordon Rose, Macmillan Press. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Test. Verification Reliab. ![In: Softw. Test. Verification Reliab. 11(1), pp. 55, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 37th Annual ACM Southeast Regional Conference, April 15-18, 1999, Mobile, AL, USA., 1999, ACM, 1-58113-128-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pp. 281-296, 1989, North-Holland, 0-444-88544-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
7 | Tim McComb, Graeme Smith 0001 |
A Minimal Set of Refactoring Rules for Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings, pp. 170-184, 2008, Springer, 978-3-540-68862-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 6-8 December 2006, Bangalore, India, pp. 209-216, 2006, IEEE Computer Society, 0-7695-2685-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
7 | Adnan Ashraf, Aamer Nadeem |
Automating the Generation of Test Cases from Object-Z Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: 30th Annual International Computer Software and Applications Conference, COMPSAC 2006, Chicago, Illinois, USA, September 17-21, 2006. Volume 2, pp. 101-104, 2006, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings, pp. 291-305, 2006, Springer, 3-540-45772-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
7 | Benjamin W. Long |
Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, pp. 319-333, 2005, Springer, 3-540-25559-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
7 | Tim McComb, Graeme Smith 0001 |
Architectural Design in Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 15th Australian Software Engineering Conference (ASWEC 2004), 13-16 April 2004, Melbourne, Australia, pp. 77-86, 2004, IEEE Computer Society, 0-7695-2089-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November - 3 December 2004, Busan, Korea, pp. 257-264, 2004, IEEE Computer Society, 0-7695-2245-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
7 | Kenji Taguchi 0001, Jin Song Dong, Gabriel Ciobanu |
Relating pi-calculus to Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 14-16 April 2004, Florence, Italy, pp. 97-106, 2004, IEEE Computer Society, 0-7695-2109-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
7 | Kirsten Winter, Graeme Smith 0001 |
Compositional Verification for Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings, pp. 280-299, 2003, Springer, 3-540-40253-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
7 | Roger Duke, Luke Wildman, Brad Long |
Modelling Java Concurrency with Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia, pp. 173-181, 2003, IEEE Computer Society, 0-7695-1949-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
7 | Kenji Taguchi 0001, Jin Song Dong |
An Overview of Mobile Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 144-155, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
7 | Graeme Smith |
Recursive Schema Definitions in Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings, pp. 42-58, 2000, Springer, 3-540-67944-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
7 | Detlef Kreuz |
Formal Specification of CORBA Services Using Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings, pp. 180-189, 1998, IEEE Computer Society, 0-8186-9198-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
7 | Christie Bolton, Jim Davies |
A singleton failures semantics for Communicating Sequential Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 18(2), pp. 181-210, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (32) ![In: TOOLS Pacific 1999: 32nd International Conference on Technology of Object-Oriented Languages and Systems, 22-25 November 1999, Melbourne, Australia, pp. 222-233, 1999, IEEE Computer Society, 0-7695-0462-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
formal methods, specification-based testing, Object-Z, testing tools |
7 | John Cooke, B. Tim Denvir |
Editorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 13(2), pp. 93, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings, pp. 497-516, 2002, Springer, 3-540-43166-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
7 | Chuanfeng Chen, Zengzhi Li |
Internet Object-Oriented Information Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (36) ![In: TOOLS Asia 2000: 36th International Conference on Technology of Object-Oriented Languages and Systems, Xi'an, China, 30 October - 4 November 2000, pp. 285-290, 2000, IEEE Computer Society, 0-7695-0875-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
7 | Kasilingam Periyasamy, Vangalur S. Alagar |
Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIFT ![In: 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA, pp. 28-39, 1998, IEEE Computer Society, 0-7695-0081-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
7 | Rohan Fletcher, A. S. M. Sajeev |
A Framework for Testing Object-Oriented Software Using Formal Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '96, 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996, Proceedings, pp. 159-170, 1996, Springer, 3-540-61317-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
7 | Gerard Ellis |
Object-Oriented Conceptual Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Applications, Implementation and Theory, Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, California, USA, August 14-18, 1995, Proceedings, pp. 144-157, 1995, Springer, 3-540-60161-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: Web Information Systems Engineering - WISE 2007, 8th International Conference on Web Information Systems Engineering, Nancy, France, December 3-7, 2007, Proceedings, pp. 237-248, 2007, Springer, 978-3-540-76992-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2007 IEEE / WIC / ACM International Conference on Web Intelligence, WI 2007, 2-5 November 2007, Silicon Valley, CA, USA, Main Conference Proceedings, pp. 431-434, 2007, IEEE Computer Society, 0-7695-3026-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
5 | Ingo Brückner, Heike Wehrheim |
Slicing Object-Z Specifications for Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, pp. 414-433, 2005, Springer, 3-540-25559-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOIS ![In: Agent-Oriented Information Systems II, 6th International Bi-Conference Workshop, AOIS 2004, Riga, Latvia, June 8, 2004 and New York, NY, USA, July 20, 2004,Revised Selected Papers, pp. 125-139, 2004, Springer, 3-540-25911-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 548-560, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
5 | Graeme Smith 0001, John Derrick |
Abstract Specification in Object-Z and CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 108-119, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
5 | Geoff Kassel, Graeme Smith 0001 |
Model Checking Object-Z Classes: Some Experiments with FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China, pp. 445-452, 2001, IEEE Computer Society, 0-7695-1408-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
5 | Jason McDonald, Paul A. Strooper |
Translating Object-Z Specifications to Passive Test Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings, pp. 165-175, 1998, IEEE Computer Society, 0-8186-9198-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
5 | Lichen Zhang |
Formal Specification for Real Time Cyber Physical Systems Using Aspect-Oriented Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, China, 29-31 August 2011, pp. 213-216, 2011, IEEE Computer Society, 978-1-4577-1487-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, pp. 195-214, 2007, Springer, 978-3-540-73209-9. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 11(1), pp. 1-20, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (27) ![In: TOOLS 1998: 27th International Conference on Technology of Object-Oriented Languages and Systems, 22-25 September 1998, Beijing, China, pp. 53-, 1998, IEEE Computer Society, 0-8186-9096-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Object oriented system development, modelling, prototyping, Object-Z |
5 | Paul W. King |
Formalization of Protocol Engineering Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(4), pp. 387-403, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings, pp. 358-373, 2008, Springer, 978-3-540-68235-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 55(3), pp. 421-435, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 219 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|