|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 368 occurrences of 168 keywords
|
|
|
Results
Found 84 publication records. Showing 84 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
2 | David A. Basin, Frank Rittinger, Luca Viganò 0001 |
A formal data-model of the CORBA security service. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
CORBA security, formal methods, specification, CORBA, Z, Z |
2 | Daniel Jackson 0001 |
Structuring Z Specifications with Views |
ACM Trans. Softw. Eng. Methodol. |
1995 |
DBLP DOI BibTeX RDF |
implicit definition, formal specification, views, Z, Z |
1 | Eerke A. Boiten, John Derrick, Gerhard Schellhorn |
Relational concurrent refinement part II: Internal operations and outputs. |
Formal Aspects Comput. |
2009 |
DBLP DOI BibTeX RDF |
Process algebraic semantics, Failures-divergences refinement, Internal operations, Mechanisation, KIV, Simulations, Deadlock, Z, Data refinement, Outputs |
1 | Artur Oliveira Gomes, Marcel Vinícius Medeiros Oliveira |
Formal Specification of a Cardiac Pacing System. |
FM |
2009 |
DBLP DOI BibTeX RDF |
formal modelling, Z, industrial applications, pacemaker |
1 | Sureyya Tarkan, Vibha Sazawal |
Chief Chefs of Z to Alloy: Using a Kitchen Example to Teach Alloy with Z. |
TFM |
2009 |
DBLP DOI BibTeX RDF |
Model Checking, Formal Specification, Formal Methods, Z, Alloy |
1 | Frank Zeyda, Ana Cavalcanti 0001 |
Mechanised Translation of Control Law Diagrams into Circus. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
ClawZ, verification, CSP, Z, Simulink |
1 | Dominik Haneberg, Gerhard Schellhorn, Holger Grandy, Wolfgang Reif |
Verification of Mondex electronic purses with KIV: from transactions to a security protocol. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Verification, Refinement, Security protocol, Z, ASM, Mondex |
1 | Scott Uk-Jin Lee, Jing Sun 0002, Gillian Dobbie, Lindsay Groves, Yuan-Fang Li |
Correctness Criteria for Normalization of Semistructured Data. |
Australian Software Engineering Conference |
2008 |
DBLP DOI BibTeX RDF |
ORA-SS, Formal Specification, Normalization, Z, Semistructured Data |
1 | John P. McDermott, Leo Freitas |
A formal security policy for xenon. |
FMSE |
2008 |
DBLP DOI BibTeX RDF |
refinement, open-source, z, csp, hypervisor, information-flow security, circus |
1 | Nuno Amálio, Fiona Polack, Jing Zhang |
Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
object-orientation, complex systems, statecharts, Z |
1 | John Derrick, Siobhán North, Anthony J. H. Simons |
Z2SAL - Building a Model Checker for Z. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
model-checking, Z, SAL |
1 | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
non-atomic refinement, KIV, refinement, theorem proving, Z, linearizability, concurrent access |
1 | Leo Freitas, Jim Woodcock 0001 |
Proving Theorems About JML Classes. |
Formal Methods and Hybrid Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
Grand Challenge in Verified Software, Java Collections Framework, Java HashMap class, linking theories, Z/Eves, formal specification, Z, software verification, JML, Java Modeling Language, mechanical theorem proving, Verified Software Repository |
1 | Christie Bolton, Jim Davies |
A singleton failures semantics for Communicating Sequential Processes. |
Formal Aspects Comput. |
2006 |
DBLP DOI BibTeX RDF |
Simulation rules, Semantics, Refinement, CSP, Z, Object-Z, Data types |
1 | Chunqing Chen, Jin Song Dong |
Applying Timed Interval Calculus to Simulink Diagrams. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
Verification, Z, Simulink, Real-Time Specification |
1 | John Derrick, Siobhán North, Tony Simons 0001 |
Issues in Implementing a Model Checker for Z. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
model-checking, Z, SAL |
1 | Nuno Amálio, Susan Stepney, Fiona Polack |
A Formal Template Language Enabling Metaproof. |
FM |
2006 |
DBLP DOI BibTeX RDF |
formal development, patterns, templates, Z, proof |
1 | Greg Reeve, Steve Reeves |
Logic and refinement for charts. |
ACSC |
2006 |
DBLP BibTeX RDF |
ZC, refinement, logic, statecharts, reactive systems, Z |
1 | Ana Cavalcanti 0001, Phil Clayton |
Verification of Control Systems using Circus. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
refinement, CSP, Z, Simulink |
1 | Ana Cavalcanti 0001, Augusto Sampaio, Jim Woodcock 0001 |
Unifying classes and processes. |
Softw. Syst. Model. |
2005 |
DBLP DOI BibTeX RDF |
Integration, Refinement, CSP, Z |
1 | Achim D. Brucker, Burkhart Wolff |
A verification approach to applied system security. |
Int. J. Softw. Tools Technol. Transf. |
2005 |
DBLP DOI BibTeX RDF |
Security, Verification, Refinement, Z, POSIX |
1 | M. M. Adams, Philip B. Clayton |
ClawZ: Cost-Effective Formal Verification for Control Systems. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
industrial formal verification, ProofPower, Eurofighter Typhoon, Ada, refinement, Z, control systems, safety-critical software, Simulink, real-time software, formal proof |
1 | Dorel Lucanu, Yuan-Fang Li, Jin Song Dong |
Soundness proof of Z semantics of OWL using institutions. |
WWW (Special interest tracks and posters) |
2005 |
DBLP DOI BibTeX RDF |
comorphism of institutions, OWL, Z, institution |
1 | Ana Cavalcanti 0001, Phil Clayton, Colin O'Halloran |
Control Law Diagrams in Circus. |
FM |
2005 |
DBLP DOI BibTeX RDF |
refinement, CSP, Z, Simulink |
1 | Nuno Amálio, Fiona Polack, Susan Stepney |
An Object-Oriented Structuring for Z Based on Views. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
object-orientation, Z |
1 | Jemima Rossmorris, Susan Stepney |
Requirements as Conjectures: Intuitive DVD Menu Navigation. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
requirements, Z, DVD, conjectures |
1 | Graeme Smith 0001, Luke Wildman |
Model Checking Z Specifications Using SAL. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
model checking, tool support, Z, SAL |
1 | Fangjun Wu, Tong Yi |
Measuring Z specifications. |
ACM SIGSOFT Softw. Eng. Notes |
2004 |
DBLP DOI BibTeX RDF |
formal specification, formal method, software metrics, Z, correlation analysis |
1 | Hye Yeon Kim, Frederick T. Sheldon |
Testing Software Requirements with Z and Statecharts Applied to an Embedded Control System. |
Softw. Qual. J. |
2004 |
DBLP DOI BibTeX RDF |
requirements specification and validation, fault-tolerance, consistency, completeness, Statecharts, Z |
1 | Nuno Amálio, Susan Stepney, Fiona Polack |
Formal Proof from UML Models. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
UML, Z, consistency checking, formal proof, model analysis |
1 | Marius C. Bujorianu, Eerke A. Boiten |
Towards Correspondence Carrying Specifications. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
UML, Z, viewpoints, LOTOS, category theory, partial specification |
1 | Jin Song Dong, Chew Hung Lee, Hian Beng Lee, Yuan-Fang Li, Hai H. Wang |
A combined approach to checking web ontologies. |
WWW |
2004 |
DBLP DOI BibTeX RDF |
racer, ontologies, semantic web, z, alloy, daml+oil |
1 | Xuede Zhan, Huaikou Miao, Ling Liu |
Formalizing the Semantics of UML Statecharts with Z*. |
CIT |
2004 |
DBLP DOI BibTeX RDF |
UML, formal semantics, Z, UML statechart |
1 | Marius C. Bujorianu |
Integration of Specification Languages Using Viewpoints. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
Language integration, process algebra, Z, type theory, viewpoints, category theory |
1 | Babak Khazaei, Chris Roast |
The influence of formal representation on solution specification. |
Requir. Eng. |
2003 |
DBLP DOI BibTeX RDF |
Empirical study of formal representations, Formal specification representation, Generic and simple solution approaches, Human factors for formal methods, Z |
1 | Martin C. Henson, Steve Reeves |
A Logic for Schema-Based Program Development. |
Formal Aspects Comput. |
2003 |
DBLP DOI BibTeX RDF |
Refinement, Z, Program development |
1 | John Derrick, Eerke A. Boiten |
Relational Concurrent Refinement. |
Formal Aspects Comput. |
2003 |
DBLP DOI BibTeX RDF |
Failures-divergences, Finalisation, Simulation, Refinement, Process algebra, Z, Readiness |
1 | Ana Cavalcanti 0001, Augusto Sampaio, Jim Woodcock 0001 |
A Refinement Strategy for Circus. |
Formal Aspects Comput. |
2003 |
DBLP DOI BibTeX RDF |
Concurrency, CSP, Z, Program development |
1 | Yuechen Qian |
Formal Development of a Distributed Logging Mechanism Supporting Disconnected Updates. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
Disconnected Updates, Formal Methods, Consistency, Z, Logs, Data Synchronization |
1 | Steve Reeves, David Streader |
Comparison of Data and Process Refinement. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
process refinement, sub-typing, Z, labelled transition systems, data refinement |
1 | Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante |
Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets. |
ICATPN |
2003 |
DBLP DOI BibTeX RDF |
Real-time Systems, Case Studies, Z, Time CSP |
1 | Diyaa-Addein Atiya, Steve King 0001, Jim Woodcock 0001 |
A Circus Semantics for Ravenscar Protected Objects. |
FME |
2003 |
DBLP DOI BibTeX RDF |
Ravenscar, Ada Protected Objects, Formal Semantics, Z, Circus |
1 | John Derrick, Heike Wehrheim |
Using Coupled Simulations in Non-atomic Refinement. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
Non-atomic refinement, coupled simulations, Z, action refinement |
1 | Susan Stepney, Fiona Polack, Ian Toyn |
Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
patterns, refactoring, Z, development methods |
1 | Susan Stepney, Fiona Polack, Ian Toyn |
An Outline Pattern Language for Z: Five Illustrations and Two Tables. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
patterns, Z, development methods |
1 | Nuno Amálio, Fiona Polack |
Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
formalisation, UML, specification, Z, Object-Z |
1 | J. Christian Attiogbé, Pascal Poizat, Gwen Salaün |
Integration of Formal Datatypes within State Diagrams. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
formal methods integration, Z, algebraic specifications, B, state diagrams |
1 | Richard Conn |
Software Systems Requirements. |
ACM J. Educ. Resour. Comput. |
2002 |
DBLP DOI BibTeX RDF |
Consortium Requirements Engineering, Evolutionary Spiral Model, Requirements-Based Testing, development requirements specifications interactively, documenting requirements, dynamics of interviewing, deriving and validating software requirements, problem domain modeling, rapid prototyping aids, requirements engineering methodologies, user/customer involvement, UML, formal methods, Z, extracting, SPARK |
1 | Carsten Sühl |
An Overview of the Integrated Formalism RT-Z. |
Formal Aspects Comput. |
2002 |
DBLP DOI BibTeX RDF |
Embedded systems, Real-time, Formal methods, Z, Timed CSP |
1 | Jin Song Dong, Jing Sun 0002, Hai H. Wang |
Z Approach to Semantic Web. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
Semantic Web, Z |
1 | Zarina Shukur, Abdullah Mohd Zin, Ainita Ban |
M2Z: A Tool for Translating a Natural Language Software Specification into Z. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
Formal methods, machine translation, Z, linguistic |
1 | Augusto Sampaio, Jim Woodcock 0001, Ana Cavalcanti 0001 |
Refinement in Circus. |
FME |
2002 |
DBLP DOI BibTeX RDF |
unifying theories of programming, distribution, CSP, Z |
1 | Eerke A. Boiten |
Loose Specification and Refinement in Z. |
ZB |
2002 |
DBLP DOI BibTeX RDF |
model containment, states-and-operations, loose specification, semantics, refinement, Z |
1 | Colin O'Halloran |
Session II-A: Verification and Validation/High-Assurance Systems Acceptance-Based Assurance. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
Verification, Formal Methods, CSP, Z, Acceptance, Safety critical, Simulink, Control Laws |
1 | Daniel Jackson 0001, Ilya Shlyakhter, Manu Sridharan |
A micromodularity mechanism. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
Alloy language, schema calculus, formal specification, first-order logic, Z, modeling languages, relational calculus, Z specification language |
1 | Brendan P. Mahony, Jin Song Dong |
Timed Communicating Object Z. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
Software/system specification, real-time systems, formal methods, concurrency, CSP, object-oriented modeling, Z |
1 | Sophie Dupuy, Lydie du Bousquet |
A Multi-formalism Approach for the Validation of UML Models. |
Formal Aspects Comput. |
2000 |
DBLP DOI BibTeX RDF |
Rational Rose ™, RoZ, Z-EVES, UML, Z, Lustre, Multi-formalism |
1 | Chris Matthews, Paul A. Swatman |
Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
requirements determination, formal specification, Z, fuzzy set theory |
1 | Jing Liu, Jin Song Dong, Jing Sun 0002 |
TRMCS in TCOZ. |
IWSSD |
2000 |
DBLP BibTeX RDF |
real-time modeling, formal specification, CSP, Z, TCOZ |
1 | Aki W. Tomita, Ken Sakamura |
Improving Design Dependability by Exploiting an Open Model-Based Specification. |
IEEE Trans. Computers |
1999 |
DBLP DOI BibTeX RDF |
formal specification, Software testing, Z, software fault tolerance, specification-based testing, on-line error detection |
1 | Daniel Jackson 0001, Yu-Chung Ng, Jeannette M. Wing |
A Nitpick Analysis of Mobile IPv6. |
Formal Aspects Comput. |
1999 |
DBLP DOI BibTeX RDF |
Nitpick, Mobile internetworking protocols, Model checking, Z, Declarative specification |
1 | Brendan P. Mahony |
The Least Conjunctive Refinement and Promotion in the Refinement Calculus. |
Formal Aspects Comput. |
1999 |
DBLP DOI BibTeX RDF |
Frame typing, Z, Refinement calculus, Promotion, Predicate transformers |
1 | Robert B. France |
A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts. |
OOPSLA |
1999 |
DBLP DOI BibTeX RDF |
precise semantics, requirements class diagrams, UML, UML, Z |
1 | Colin O'Halloran, Alf Smith |
Verification of Picture Generated Code. |
ASE |
1999 |
DBLP DOI BibTeX RDF |
Ada, Z, Automatic Code Generation, Proof, Simulink, SPARK, Control Laws |
1 | Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen |
Viewpoint Consistency in Z and LOTOS: A Case Study. |
FME |
1997 |
DBLP DOI BibTeX RDF |
Consistency, Z, Viewpoints, LOTOS, ODP |
1 | Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen |
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
Modechart, VFSM, Formal methods, specification languages, Z, SDL, industrial applications, LOTOS, ESTEREL, technology assessment |
1 | Pamela Zave, Michael Jackson 0001 |
Where Do Operations Come From: A Multiparadigm Specification Technique. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
multiparadigm specification, graphical human-computer interfaces, Formal methods, telecommunications, Z, consistency analysis |
1 | Paul Hennessey, Mohamed T. Ibrahim, Alexander M. Fedorec |
Formal Specification, Object-Oriented Design, and Implementation of an Ephemeral Logger for Database Systems. |
DEXA |
1996 |
DBLP DOI BibTeX RDF |
Log manager, Ephemeral logging, LLT, Long-Lived Transactions, Object design, Log performance, Formal specification, Transaction processing, Z, Logging, Distributed database systems, OMT |
1 | Ken Robinson, Peter S. Ho, Martin Schwenke |
To Zed and back: integrating data flow diagrams and Z. |
ACSE |
1996 |
DBLP DOI BibTeX RDF |
Z |
1 | Craig Damon, Daniel Jackson 0001, Somesh Jha |
Checking Relational Specifications With Binary Decision Diagrams. |
SIGSOFT FSE |
1996 |
DBLP DOI BibTeX RDF |
Z |
1 | Aki Watanabe, Ken Sakamura |
A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards. |
ICSE |
1996 |
DBLP BibTeX RDF |
ITRON2 real time multi task operating system specification, SBATCG method, abstract state transitions, commercially available ITRON2 implementations, fault exposure abilities, open operating system standards, specification based adaptive test case generation strategy, real-time systems, formal specification, specification languages, program testing, open systems, templates, Z, operating systems (computers), multiprogramming, integration testing, mutation analysis, Z notation, software standards, formal specification languages, model based specification, fault detecting ability, internal structure |
1 | Anthony Boswell |
Specification and Validation of a Security Policy Model. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
Security, modeling, formal specification, validation, Z, security policy model |
1 | Jonathan Jacky |
Specifying a Safety-Critical Control System in Z. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
cyclotron, Formal specification, safety, Z, process control, medical applications, radiation therapy |
1 | Howard Bowman, John Derrick |
Modelling distributed systems using Z. |
SAC |
1995 |
DBLP DOI BibTeX RDF |
Z80 Assembly Language, consistency, Z, viewpoints, ODP |
1 | Jonathan Lee, Wei T. Huang, Cheng-Kai Chang, Jiann-I Pan |
Expressing JSD in Z. |
COMPSAC |
1995 |
DBLP DOI BibTeX RDF |
Informal Methods, Jackson System Development (JSD), Formal Specifications, Z, Methods Integration |
1 | Peter Baumann, Karl Lermer |
A Framework for the Specification of Reactive and Concurrent Systems in Z. |
FSTTCS |
1995 |
DBLP DOI BibTeX RDF |
formal methods, reactive systems, Z, TLA |
1 | Gregory D. Abowd, Robert Allen, David Garlan |
Formalizing Style to Understand Descriptions of Software Architecture. |
ACM Trans. Softw. Eng. Methodol. |
1995 |
DBLP DOI BibTeX RDF |
software architecture, Z, Z notation |
1 | Ibrahim Matta, A. Udaya Shankar |
Z-Iteration: A Simple Method for Throughput Estimation in Time-Dependent Multi-Class Systems. |
SIGMETRICS |
1995 |
DBLP DOI BibTeX RDF |
Z |
1 | Rose F. Gamble |
Integrating a formal specification course with a software projects course via an editing tool. |
SIGCSE |
1995 |
DBLP DOI BibTeX RDF |
Z |
1 | Neville Dean, Michael G. Hinchey |
Introducing formal methods through role-playing. |
SIGCSE |
1995 |
DBLP DOI BibTeX RDF |
Z |
1 | Kwangkeun Yi, Williams Ludwell Harrison III |
Automatic Generation and Management of Interprocedural Program Analyses. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
C, Z |
1 | Kenneth R. Wood |
A Practical Approach to Software Engineering Using Z and the Refinement Calculus. |
SIGSOFT FSE |
1993 |
DBLP DOI BibTeX RDF |
Z |
1 | Antonio J. Alencar, Joseph A. Goguen |
OOZE: An Object Oriented Z Environment. |
ECOOP |
1991 |
DBLP DOI BibTeX RDF |
Object Orientated, Specification, Requirement, Rapid Prototyping, Z, Algebraic Semantics |
1 | Geoff Barrett |
Formal Methods Applied to a Floating-Point Number System. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
floating-point number system, binary floating-point arithmetic, ANSI/IEEE Std. 754-1985, set-theoretic specification language, sequential components, unpack, operands, proven rules, mathematically rigorous method, Inmos IMS T800 transputer, formal specification, formal methods, specification languages, digital arithmetic, Z, formalization, round, pack, program development, IEEE standard, floating-point unit, internal representations |
Displaying result #1 - #84 of 84 (100 per page; Change: )
|
|