|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 67 occurrences of 51 keywords
|
|
|
|
|
Results
Found 26 publication records. Showing 26 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 3 | Xiaolei Gao |
The Design and Implementation of Z Language Editor.  |
ICA3PP  |
2009 |
DBLP DOI BibTeX RDF |
visualization, formal method, editor, OLE, Z language |
| 2 | Xiaolei Gao |
Implementation of Z Language Edit Tool in MS Word. |
ISPA |
2010 |
DBLP DOI BibTeX RDF |
special font, component, schema, OLE, Microsoft word, Z language |
| 1 | Hua Wang, Ke Zhou, Ling Yuan |
Fault-Tolerant Online Backup Service: Formal Modeling and Reasoning. |
NAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Renata Kaufman, Augusto Sampaio, Alexandre Mota |
Formalisation and Analysis of Objects as CSP Processes. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
Design Pattern, CSP, Object-Z, Object-Oriented Specification |
| 1 | Munina Yusufu, Gulina Yusufu |
Comparison of Software Specification Methods Using a Case Study. |
CSSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhong-sheng Qian, Huaikou Miao, Shengbo Chen |
Towards Modeling Web Navigation Using FSM and Z. |
IITA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed M. Mostafa, Manal A. Ismai, Hatem El-Bolok, E. M. Saad |
Toward a Formalization of UML2.0 Metamodel using Z Specifications. |
SNPD |
2007 |
DBLP DOI BibTeX RDF |
Use Case Diagram, State Machine Diagram, Unified Modeling Language (UML), Formalization, Class Diagram, Z specification language |
| 1 | Fangjun Wu |
Formal specification of program slicing. |
SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
program slicing, program dependence graph, Z language, system dependence graph |
| 1 | Jun Sun 0001, Jin Song Dong |
Design Synthesis from Interaction and State-Based Specifications. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
specification, synthesis, live sequence charts, Z language |
| 1 | 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 |
|
| 1 | Yongjie Zheng, Alvin T. S. Chan |
Coordinated Composition of Services for Adaptive Mobile Middleware. |
ISCC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Ledru, Lydie du Bousquet |
Tobias-Z: An executable formal specification of a test generator. |
ASE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunyang Yuan, Yeping He, Jianbo He, Zhouyi Zhou |
A Verifiable Formal Specification for RBAC Model with Constraints of Separation of Duty. |
Inscrypt |
2006 |
DBLP DOI BibTeX RDF |
Verification, Formal Specification, RBAC, Separation of Duty |
| 1 | Feng Zhang, Zhiguang Qin, Shijie Zhou |
Policy-Tree Based Proactive Defense Model for Network Security. |
GCC Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Xiaolei Gao, Huaikou Miao, Shaoying Liu, Ling Liu |
The Availability Semantics of Predicate Data Flow Diagram. |
GCC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Peschanski, David Julien |
When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sotiris Skevoulis, Maria Falidas |
Integrating formal methods tools into undergraduate computer science curriculum. |
ITiCSE |
2002 |
DBLP DOI BibTeX RDF |
formal methods tools, verification, type checking, Z language, formal design |
| 1 | Rafael H. Bordini, Renata Vieira, John A. Campbell |
An Anthropological Approach to the Discovery of Ontologies in Multi-agent Societies. |
Foundations and Applications of Multi-Agent Systems |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Matthews, Paul A. Swatman |
Fuzzy concepts and formal methods: some illustrative examples. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
fuzzy concepts, problem types, fuzzy logic toolkit, problem domains, soft preconditions, linguistically quantified propositions, modelling, formal specification, formal methods, fuzzy logic, information systems, requirements engineering, uncertainty, specification languages, specification languages, formal modelling, fuzzy set theory, fuzzy set theory, uncertainty handling, fuzzy relations, system requirements, imprecision, Z language |
| 1 | Greg Reeve, Steve Reeves |
mu-Charts and Z: examples and extensions. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
mu-Charts, reactive systems specification, local variables, integer-valued signals, formal specification, specification languages, specification language, statecharts, systems development, Z language, command language |
| 1 | Wolfgang Grieskamp, Markus Lepper |
Encoding Temporal Logics in Executable Z: A Case Study for the ZETA System. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Fabio Vitali, Cecilia Mascolo |
Managing Complex Documents Over the WWW: A Case Study for XML. |
IEEE Trans. Knowl. Data Eng. |
1999 |
DBLP DOI BibTeX RDF |
specification documents, Java, XML, hypertext, Z notation, Document management systems, active documents |
| 1 | Malcolm Shroff, Robert B. France |
Towards a formalization of UML class structures in Z. (PDF / PS) |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
UML class structures, semantic base, OO model, Unified Modeling Language, formal specification, specification, object-oriented modeling, modeling language, Z language |
| 1 | Michael W. Godfrey |
Metamorphic development of a GUI for configuration management. |
CASCON |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Motoshi Saeki, Kuo Wenyin |
Specifying Software Specification & Design Methods |
CAiSE |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #26 of 26 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")