Search results for "Z"

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