Search results for "Z"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	David A. Basin, Frank Rittinger, Luca Viganò	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	Structuring Z Specifications with Views	ACM Trans. Softw. Eng. Methodol.	1995	DBLP DOI BibTeX RDF	implicit definition, formal specification, views, Z, Z
1	Artur Oliveira Gomes, Marcel Vinicius Medeiros Oliveira	Formal Specification of a Cardiac Pacing System.	FM	2009	DBLP DOI BibTeX RDF	formal modelling, Z, industrial applications, pacemaker
1	Frank Zeyda, Ana Cavalcanti	Mechanised Translation of Control Law Diagrams into Circus.	IFM	2009	DBLP DOI BibTeX RDF	ClawZ, verification, CSP, Z, Simulink
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	Eerke A. Boiten, John Derrick, Gerhard Schellhorn	Relational concurrent refinement part II: Internal operations and outputs.	Formal Asp. Comput.	2009	DBLP DOI BibTeX RDF	Process algebraic semantics, Failures-divergences refinement, Internal operations, Mechanisation, KIV, Simulations, Deadlock, Z, Data refinement, Outputs
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	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	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	Dominik Haneberg, Gerhard Schellhorn, Holger Grandy, Wolfgang Reif	Verification of Mondex electronic purses with KIV: from transactions to a security protocol.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Verification, Refinement, Security protocol, Z, ASM, Mondex
1	Leo Freitas, Jim Woodcock	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	Greg Reeve, Steve Reeves	Logic and refinement for charts.	ACSC	2006	DBLP DOI BibTeX RDF	ZC, refinement, logic, statecharts, reactive systems, Z
1	Ana Cavalcanti, Phil Clayton	Verification of Control Systems using Circus.	ICECCS	2006	DBLP DOI BibTeX RDF	refinement, CSP, Z, Simulink
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	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	Issues in Implementing a Model Checker for Z.	ICFEM	2006	DBLP DOI BibTeX RDF	model-checking, Z, SAL
1	Christie Bolton, Jim Davies	A singleton failures semantics for Communicating Sequential Processes.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	Simulation rules, Semantics, Refinement, CSP, Z, Object-Z, Data types
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, Phil Clayton, Colin O'Halloran	Control Law Diagrams in Circus.	FM	2005	DBLP DOI BibTeX RDF	refinement, CSP, Z, Simulink
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	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, Luke Wildman	Model Checking Z Specifications Using SAL.	ZB	2005	DBLP DOI BibTeX RDF	model checking, tool support, Z, SAL
1	Ana Cavalcanti, Augusto Sampaio, Jim Woodcock	Unifying classes and processes.	Software and System Modeling	2005	DBLP DOI BibTeX RDF	Integration, Refinement, CSP, Z
1	Achim D. Brucker, Burkhart Wolff	A verification approach to applied system security.	STTT	2005	DBLP DOI BibTeX RDF	Security, Verification, Refinement, Z, POSIX
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	Fangjun Wu, Tong Yi	Measuring Z specifications.	ACM SIGSOFT Software Engineering Notes	2004	DBLP DOI BibTeX RDF	formal specification, formal method, software metrics, Z, correlation analysis
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, Eerke A. Boiten	Towards Correspondence Carrying Specifications.	AMAST	2004	DBLP DOI BibTeX RDF	UML, Z, viewpoints, LOTOS, category theory, partial specification
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	Integration of Specification Languages Using Viewpoints.	IFM	2004	DBLP DOI BibTeX RDF	Language integration, process algebra, Z, type theory, viewpoints, category theory
1	Hye Yeon Kim, Frederick T. Sheldon	Testing Software Requirements with Z and Statecharts Applied to an Embedded Control System.	Software Quality Journal	2004	DBLP DOI BibTeX RDF	requirements specification and validation, fault-tolerance, consistency, completeness, Statecharts, Z
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	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	Diyaa-Addein Atiya, Steve King, Jim Woodcock	A Circus Semantics for Ravenscar Protected Objects.	FME	2003	DBLP DOI BibTeX RDF	Ravenscar, Ada Protected Objects, Formal Semantics, Z, Circus
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	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	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	Ana Cavalcanti, Augusto Sampaio, Jim Woodcock	A Refinement Strategy for Circus.	Formal Asp. Comput.	2003	DBLP DOI BibTeX RDF	Concurrency, CSP, Z, Program development
1	John Derrick, Eerke A. Boiten	Relational Concurrent Refinement.	Formal Asp. Comput.	2003	DBLP DOI BibTeX RDF	Failures-divergences, Finalisation, Simulation, Refinement, Process algebra, Z, Readiness
1	Martin C. Henson, Steve Reeves	A Logic for Schema-Based Program Development.	Formal Asp. Comput.	2003	DBLP DOI BibTeX RDF	Refinement, Z, Program development
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	Richard Conn	Software Systems Requirements.	ACM Journal of Educational Resources in Computing	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	Augusto Sampaio, Jim Woodcock, Ana Cavalcanti	Refinement in Circus.	FME	2002	DBLP DOI BibTeX RDF	unifying theories of programming, distribution, CSP, Z
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	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	Carsten Sühl	An Overview of the Integrated Formalism RT-Z.	Formal Asp. Comput.	2002	DBLP DOI BibTeX RDF	Embedded systems, Real-time, Formal methods, Z, Timed CSP
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, 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	Jing Liu, Jin Song Dong, Jing Sun 0002	TRMCS in TCOZ.	IWSSD	2000	DBLP BibTeX RDF	formal specification, CSP, Z, TCOZ, real-time modeling
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	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	Sophie Dupuy, Lydie du Bousquet	A Multi-formalism Approach for the Validation of UML Models.	Formal Asp. Comput.	2000	DBLP DOI BibTeX RDF	Rational Rose ™, RoZ, Z-EVES, UML, Z, Lustre, Multi-formalism
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. (PDF / PS)	ASE	1999	DBLP DOI BibTeX RDF	Ada, Z, Automatic Code Generation, Proof, Simulink, SPARK, Control Laws
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, Yu-Chung Ng, Jeannette M. Wing	A Nitpick Analysis of Mobile IPv6.	Formal Asp. 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 Asp. Comput.	1999	DBLP DOI BibTeX RDF	Frame typing, Z, Refinement calculus, Promotion, Predicate transformers
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	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	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	Craig Damon, Daniel Jackson, Somesh Jha	Checking Relational Specifications With Binary Decision Diagrams.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF	Z
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. (PDF / PS)	COMPSAC	1995	DBLP DOI BibTeX RDF	Informal Methods, Jackson System Development (JSD), Formal Specifications, Z, Methods Integration
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	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	Neville Dean, Michael G. Hinchey	Introducing formal methods through role-playing.	SIGCSE	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	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	Gregory D. Abowd, Robert J. 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	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