|
|
|
|
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 |
| 5 | Kinh Nguyen |
Towards a Practical Formal Method for Object Oriented Modelling.  |
APSEC  |
1996 |
DBLP DOI BibTeX RDF |
Formal Specification, Object Oriented Modeling, Object Oriented Analysis and Design, System Development Methodologies |
| 5 | Motoshi Saeki, Kuo Wenyin |
Specifying Software Specification & Design Methods |
CAiSE |
1994 |
DBLP DOI BibTeX RDF |
|
| 4 | Zhengling Guo, Zining Cao |
Combined Formal Modeling and Model Transformation Based on AADL and Object-Z. |
J. Softw. |
2023 |
DBLP DOI BibTeX RDF |
|
| 4 | Weiqing Wan, Yongqing Yu, Qingyan Zeng, Zhicheng Wen |
Checking the consistency of Object-Z formal specification based on theorem proof. |
J. Comput. Methods Sci. Eng. |
2020 |
DBLP DOI BibTeX RDF |
|
| 4 | Graeme Smith 0001, David J. Duke |
Specification with Class: A Brief History of Object-Z. |
FM Workshops (2) |
2019 |
DBLP DOI BibTeX RDF |
|
| 4 | A. F. Al Azzawi, Mohamed Bettaz, H. M. Al-Refai |
Generating Python Code From Object-Z Specifications. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 4 | Cristian Vidal Silva, Rodolfo Villarroel, Rodolfo Schmal Simón, Rodrigo Saens, Tamara Tigero, Carolina Del Río |
Aspect-Oriented Formal Modeling: (AspectZ + Object-Z) = OOAspectZ. |
Comput. Informatics |
2015 |
DBLP BibTeX RDF |
|
| 4 | Hubert Baumeister, Mohamed Bettaz, Mourad Maouche, M'hamed Mosteghanemi |
An Institution for Object-Z with Inheritance and Polymorphism. |
Software, Services, and Systems |
2015 |
DBLP DOI BibTeX RDF |
|
| 4 | Yangping Li, Xiaoheng Pan, Tianming Hu, Sam Yuan Sung, Huaqiang Yuan |
Specifying Complex Systems in Object-Z: A Case Study of Petrol Supply Systems. |
J. Softw. |
2014 |
DBLP DOI BibTeX RDF |
|
| 4 | Cyrille Dongmo, John Andrew van der Poll |
Addressing the Construction of Z and Object-Z with Use Case Maps (UCMs). |
Int. J. Softw. Eng. Knowl. Eng. |
2014 |
DBLP DOI BibTeX RDF |
|
| 4 | John Derrick, Eerke A. Boiten |
Refinement in Z and Object-Z - Foundations and Advanced Applications (2. ed.). |
|
2014 |
DOI RDF |
|
| 4 | Graeme Smith 0001, Qin Li 0002 |
MAZE: An Extension of Object-Z for Multi-Agent Systems. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
| 4 | Mohamed Bettaz, Mourad Maouche, M'hamed Mosteghanemi |
Towards an institution for Object-Z specifications. |
Int. J. Comput. Appl. Technol. |
2013 |
DBLP DOI BibTeX RDF |
|
| 4 | Fethi Fkih, Kais Haddar |
Application of classical compilation techniques for syntactic and semantic analysis of specification written in Object Z |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 4 | Mehrnaz Najafi, Hassan Haghighi |
An approach to animate Object-Z specifications using C++. |
Sci. Iran. |
2012 |
DBLP DOI BibTeX RDF |
|
| 4 | Graeme Smith 0001, Kirsten Winter |
Incremental Development of Multi-agent Systems in Object-Z. |
SEW |
2012 |
DBLP DOI BibTeX RDF |
|
| 4 | Nixon Sunny George, Cui Zhang, Anne-Louise Radimsky |
FOZCIL: A framework for converting formal specifications in Object-Z to design contracts in OO programming languages. |
IRI |
2011 |
DBLP DOI BibTeX RDF |
|
| 4 | Mahreen Ahmad, Aamer Nadeem, Tai-Hoon Kim |
An Automated Approach to Testing Polymorphic Features Using Object-Z. |
FGIT-ASEA |
2010 |
DBLP DOI BibTeX RDF |
|
| 4 | Thomas Ruhroth, Heike Wehrheim |
Static Class Elements for Object-Z. |
REFINE@FMWeek |
2009 |
DBLP DOI BibTeX RDF |
|
| 4 | Bin Zhu, Huaikou Miao, Bo Song |
User-interface Design of Web Application Using Object-Z. |
ACIS-ICIS |
2009 |
DBLP DOI BibTeX RDF |
|
| 4 | Xiufeng Ni, Cui Zhang |
Converting Specifications in a Subset of Object-Z to Skeletal Spec# Code for both Static and Dynamic Analysis. |
J. Object Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
| 4 | Hui Liu, Bin Zhu |
Refactoring Formal Specifications in Object-Z. |
CSSE (2) |
2008 |
DBLP DOI BibTeX RDF |
|
| 4 | Brian Stevens |
Implementing Object-Z with Perfect Developer. |
J. Object Technol. |
2006 |
DBLP DOI BibTeX RDF |
|
| 4 | Wei Liu 0027, Weiqin Tong, Zongtian Liu |
An Agent-Oriented Modeling Framework Based on Object-Z for Grid Application. |
Int. Trans. Syst. Sci. Appl. |
2006 |
DBLP BibTeX RDF |
|
| 4 | Huiqun Yu, Dongmei Liu, Zhiqing Shao, Xudong He |
Modeling Complex Software Systems Using an Aspect Extension of Object-Z. |
SEKE |
2006 |
DBLP BibTeX RDF |
|
| 4 | Sowmiya Ramkarthik, Cui Zhang |
Generating Java Skeletal Code with Design Contracts from Specifications in a Subset of Object Z. |
ACIS-ICIS |
2006 |
DBLP DOI BibTeX RDF |
|
| 4 | Yang Liu 0003, Jun Sun 0001 |
Algorithmic Design Using Object-Z for Twig XML Queries Evaluation. |
WLFM@FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 4 | Richard F. Paige, Phillip J. Brooke |
Integrating BON and Object-Z. |
J. Object Technol. |
2004 |
DBLP DOI BibTeX RDF |
|
| 4 | Pablo Gruer, Vincent Hilaire, Abder Koukam, P. Rovarini |
Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification. |
J. Syst. Softw. |
2004 |
DBLP DOI BibTeX RDF |
|
| 4 | Anarosa Brandão, Paulo S. C. Alencar, Carlos José Pereira de Lucena |
Extending (Object-)Z for multi-agent systems specification. |
CAiSE Workshops (2) |
2004 |
DBLP BibTeX RDF |
|
| 4 | Richard Banach |
Book Review: "Refinement in Z and object-Z: Foundations and Advanced Applications" by John Derrick and Eerke Boiten. |
J. Log. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 4 | Margot Bittner, Florian Kammüller |
Translating Fusion/UML to Object-Z. |
MEMOCODE |
2003 |
DBLP DOI BibTeX RDF |
|
| 4 | Benjamin W. Long |
Formalising Key-Distribution in the Presence of Trust using Object-Z. |
ACSW |
2003 |
DBLP BibTeX RDF |
|
| 4 | Perdita Stevens |
Refinement in Z and object-Z: foundations and advanced applications. |
Softw. Test. Verification Reliab. |
2002 |
DBLP DOI BibTeX RDF |
|
| 4 | Nahla Haddar, Faïez Gargouri, Abdelmajid Ben Hamadou |
Integration of Object-Z class diagrams specifications. |
SMC |
2002 |
DBLP DOI BibTeX RDF |
|
| 4 | Ernst-Erich Doberkat |
Ernst-Erich Doberkat über G. P. Smith: The Object-Z Specification Language. |
Softwaretechnik-Trends |
2001 |
DBLP BibTeX RDF |
|
| 4 | Soon-Kyeong Kim, David A. Carrington |
A formal denotational semantics of UML in Object-Z. |
Obj. Logiciel Base données Réseaux |
2001 |
DBLP BibTeX RDF |
|
| 4 | Graeme Smith 0001, John Derrick |
Specification, Refinement and Verification of Concurrent Systems-An Integration of Object-Z and CSP. |
Formal Methods Syst. Des. |
2001 |
DBLP DOI BibTeX RDF |
|
| 4 | David A. Carrington, Ian MacColl, Jason McDonald, Leesa Murray, Paul A. Strooper |
From Object-Z Specifications to ClassBench Test Suites. |
Softw. Test. Verification Reliab. |
2000 |
DBLP DOI BibTeX RDF |
|
| 4 | Graeme Smith |
The object-Z specification language. |
|
2000 |
RDF |
|
| 4 | John Derrick, Eerke A. Boiten |
Refinement of objects and operations in Object-Z. |
FMOODS |
2000 |
DBLP DOI BibTeX RDF |
|
| 4 | Soon-Kyeong Kim, David A. Carrington |
Formalizing the UML Class Diagram Using Object-Z. |
UML |
1999 |
DBLP DOI BibTeX RDF |
|
| 4 | Clemens Fischer |
Software Development with Object-Z, CSP, and Java: A Pragmatic Link from Formal Specifications to Programs. |
ECOOP Workshops |
1999 |
DBLP BibTeX RDF |
|
| 4 | Ian MacColl, David A. Carrington |
Specifying Interactive Systems in Object-Z and CSP. |
IFM |
1999 |
DBLP DOI BibTeX RDF |
|
| 4 | Graeme Smith 0001, Ian J. Hayes |
Towards Real-Time Object-Z. |
IFM |
1999 |
DBLP DOI BibTeX RDF |
|
| 4 | Andrew Hussey, David A. Carrington |
Model-Based Design of User Interfaces Using Object-Z. |
CADUI |
1999 |
DBLP BibTeX RDF |
|
| 4 | Ana M. D. Moreira, João Araújo 0001 |
Generating Object-Z Specifications from Use Cases. |
ICEIS |
1999 |
DBLP BibTeX RDF |
|
| 4 | Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud |
Translating the OMT Dynamic Model into Object-Z. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
| 4 | Brendan P. Mahony, Jin Song Dong |
Blending Object-Z and Timed CSP: An Introduction to TCOZ. |
ICSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 4 | Alena Griffiths |
A Formal semantics to support modular reasoning in object-Z |
|
1998 |
DOI RDF |
|
| 4 | Graeme Smith 0001, John Derrick |
Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP. |
ICFEM |
1997 |
DBLP DOI BibTeX RDF |
|
| 4 | Clemens Fischer |
Combining Object-Z and CSP. |
FBT |
1997 |
DBLP BibTeX RDF |
|
| 4 | Klaus Achatz, Wolfram Schulte |
A Formal OO Method Inspired by Fusion and Object-Z. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
| 4 | Jin Song Dong, Lin Zucconi, Roger Duke |
Specifying Parallel and Distributed Systems in Object-Z. |
PDSE |
1997 |
DBLP DOI BibTeX RDF |
|
| 4 | Clemens Fischer, Graeme Smith 0001 |
Combining CSP and Object-Z: Finite or Infinite Trace Semantics? |
FORTE |
1997 |
DBLP BibTeX RDF |
|
| 4 | Kasilingam Periyasamy, Vangalur S. Alagar |
Extending Object-Z for Specifying Real-Time Systems. |
TOOLS (23) |
1997 |
DBLP DOI BibTeX RDF |
|
| 4 | Evalyn N. Wafula, Paul A. Swatman |
FOOM: a diagrammatic illustration of Object-Z specifications. |
Object Oriented Syst. |
1996 |
DBLP BibTeX RDF |
|
| 4 | Graeme Smith 0001 |
A Fully Abstract Semantics of Classes for Object-Z. |
Formal Aspects Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 4 | Graeme Smith |
Extending W for Object-Z. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
| 4 | Masakazu Fukagawa, Teruo Hikita, Hiroshi Yamazaki |
A mapping system from Object-Z to C++. |
APSEC |
1994 |
DBLP DOI BibTeX RDF |
|
| 4 | Wilhelm Hasselbring |
Animation of Object-Z Specifications with a Set-Oriented Prototyping Language. |
Z User Workshop |
1994 |
DBLP DOI BibTeX RDF |
|
| 4 | Jian Chen, Bohdan Durnota |
Type Checking Classes in Object-Z to Promote Quality of Specifications. |
Software Quality and Productivity |
1994 |
DBLP BibTeX RDF |
|
| 4 | Haim Kilov |
Information Modeling and Object Z: Specifying Generic Reusable Applications. |
NGITS |
1993 |
DBLP BibTeX RDF |
|
| 4 | G.-H. Bagherzadeh Rafsanjani, S. J. Colwill |
From Object-Z to C++: A Structural Mapping. |
Z User Workshop |
1992 |
DBLP DOI BibTeX RDF |
|
| 4 | Gordon A. Rose |
Object-Z. |
Object Orientation in Z |
1992 |
DBLP BibTeX RDF |
|
| 4 | Roger Duke, Paul King, Gordon A. Rose, Graeme Smith 0001 |
Associated Paper: The Object-Z Specification Language. |
TOOLS (5) |
1991 |
DBLP BibTeX RDF |
|
| 3 | Hua Wang 0008, Ke Zhou 0001, Ling Yuan |
Fault-Tolerant Online Backup Service: Formal Modeling and Reasoning. |
NAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 3 | Rodrigo Campiolo, Vivian Cremer, João Bosco M. Sobral |
On modeling for pervasive computing environments. |
MSWiM |
2007 |
DBLP DOI BibTeX RDF |
modeling, pervasive computing, intelligent environments |
| 3 | Thomas Ruhroth, Heike Wehrheim |
Refactoring Object-Oriented Specifications with Data and Processes. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
| 3 | Soon-Kyeong Kim, David A. Carrington |
A Rigorous Foundation for Pattern-Based Design Models. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
|
| 3 | Nadia Bouassida, Hanêne Ben-Abdallah, Faïez Gargouri, Abdelmajid Ben Hamadou |
Towards a rigorous architectural reuse. |
AICCSA |
2005 |
DBLP DOI BibTeX RDF |
|
| 3 | Soon-Kyeong Kim, David A. Carrington |
A Formal Object-Oriented Approach to defining Consistency Constraints for UML Models. |
Australian Software Engineering Conference |
2004 |
DBLP DOI BibTeX RDF |
|
| 3 | Nadia Bouassida, Hanêne Ben-Abdallah, Faïez Gargouri, Abdelmajid Ben Hamadou |
Formalizing the Framework Design Language F-UML. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
| 3 | Jin Song Dong, Yuan-Fang Li, Jing Sun 0002, Jun Sun 0001, Hai H. Wang |
XML-Based Static Type Checking and Dynamic Visualization for TCOZ. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
TCOZ tool support, XML/XSL, UML/XMI |
| 3 | Andrew Hussey, Ian MacColl, David A. Carrington |
Assessing Usability from Formal User-Interface Designs. |
Australian Software Engineering Conference |
2001 |
DBLP DOI BibTeX RDF |
|
| 3 | Krzysztof Cetnarowicz, Pablo Gruer, Vincent Hilaire, Abder Koukam |
A Formal Specification of M-Agent Architecture. |
CEEMAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 3 | Jing Sun 0002, Jin Song Dong, Jing Liu, Hai H. Wang |
An XML/XSL Approach to Visualize and Animate TCOZ. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
specification animation, XML/XSL, UML, Formal methods, XMI, TCOZ, Oz |
| 3 | Vangalur S. Alagar, Kasilingam Periyasamy |
BTOZ: A Formal Specification Language for Formalizing Business Transactions. |
TOOLS (39) |
2001 |
DBLP DOI BibTeX RDF |
|
| 3 | Pablo Gruer, Vincent Hilaire, Abder Koukam |
Towards Verification of Multi-Agent Systems. |
ICMAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 3 | Jing Liu, Jin Song Dong, Jing Sun 0002 |
TRMCS in TCOZ. |
IWSSD |
2000 |
DBLP BibTeX RDF |
real-time modeling, formal specification, CSP, Z, TCOZ |
| 3 | Brendan P. Mahony, Jin Song Dong |
Sensors and Actuators in TCOZ. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 3 | Ian MacColl, Leesa Murray, Paul A. Strooper, David A. Carrington |
Specification-Based Class Testing: A Case Study. |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
| 3 | Motoshi Saeki |
Formalizing Artifacts of Object-Oriented Analysis & Design. |
ECOOP Workshops |
1998 |
DBLP DOI BibTeX RDF |
|
| 3 | Leesa Murray, David A. Carrington, Ian MacColl, Paul A. Strooper |
Extending Test Templates with Inheritance. |
Australian Software Engineering Conference |
1997 |
DBLP DOI BibTeX RDF |
test templates, reuse, inheritance, specification-based testing, object-oriented testing |
| 3 | Jin Song Dong |
Living with Free Type and Class Union. |
APSEC |
1995 |
DBLP DOI BibTeX RDF |
|
| 2 | Thomas Ruhroth, Heike Wehrheim |
Refinement-Preserving Co-evolution. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 0001, Wang Yi 0001 |
Timed Automata Patterns. |
IEEE Trans. Software Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh 0001, Jun Sun 0001 |
A Formal Model of Semantic Web Service Ontology (WSMO) Execution. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | 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 |
| 2 | Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh 0001, Jun Sun 0001 |
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO). |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Benjamin W. Long, Colin J. Fidge |
Formally Analysing a Security Protocol for Replay Attacks. |
ASWEC |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Suk Kyung Shin, Jin Sun Her, Soo Dong Kim |
Applying Formal Approach to Core Asset Instantiation in Product Line Engineering. |
APSEC |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Selvarajah Mohanarajah, Ray H. Kemp, Elizabeth A. Kemp |
Adaptable Scaffolding - A Fuzzy Approach. |
Intelligent Tutoring Systems |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Claudia Pons, Diego García |
An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE. |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Johannes Faber, Roland Meyer 0001 |
Model Checking Data-Dependent Real-Time Properties of the European Train Control System. |
FMCAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Jin Song Dong |
From semantic web to expressive software specifications: a modeling languages spectrum. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Cameron Maxwell, Artem Parakhine, John Leaney |
Practical Application of Formal Methods for Specification and Analysis of Software Architecture. |
Australian Software Engineering Conference |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang 0007 |
The Semantics and Tool Support of OZTA. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
Timed Patterns, Tool and Verification, Semantics |
| 2 | Soon-Kyeong Kim, Damian Burger, David A. Carrington |
An MDA Approach Towards Integrating Formal and Informal Modeling Languages. |
FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Jochen Hoenicke, Patrick Maier 0001 |
Model-Checking of Specifications Integrating Processes, Data and Time. |
FM |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 219 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license