The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Z with no syntactic query expansion in all metadata.

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