|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, Vienna, Austria, September 10-14, 2001, pp. 303-304, 2001, ACM, 978-1-58113-390-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
CORBA security, formal methods, specification, CORBA, Z, Z |
2 | Daniel Jackson 0001 |
Structuring Z Specifications with Views ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 4(4), pp. 365-389, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 21(1-2), pp. 65-102, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 692-707, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFM ![In: Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 72-91, 2009, Springer, 978-3-642-04911-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings, pp. 151-166, 2009, Springer, 978-3-642-00254-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(1), pp. 41-59, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 19th Australian Software Engineering Conference (ASWEC 2008), March 25-28, 2008, Perth, Australia, pp. 248-257, 2008, IEEE Computer Society, 978-0-7695-3100-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSE ![In: Proceedings of the 6th ACM Workshop on Formal Methods in Security Engineering, FMSE 2008, Alexandria, VA, USA, October 27, 2008, pp. 43-52, 2008, ACM, 978-1-60558-288-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, pp. 323-336, 2008, Springer, 978-3-540-87602-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, pp. 280-293, 2008, Springer, 978-3-540-87602-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings, pp. 78-95, 2008, Springer, 978-3-540-68862-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods and Hybrid Real-Time Systems ![In: Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007, pp. 255-279, 2007, Springer, 978-3-540-75220-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 18(2), pp. 181-210, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, pp. 74-93, 2006, Springer, 3-540-47460-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, pp. 678-696, 2006, Springer, 3-540-47460-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
model-checking, Z, SAL |
1 | Nuno Amálio, Susan Stepney, Fiona Polack |
A Formal Template Language Enabling Metaproof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, pp. 252-267, 2006, Springer, 3-540-37215-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
formal development, patterns, templates, Z, proof |
1 | Greg Reeve, Steve Reeves |
Logic and refinement for charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSC ![In: Computer Science 2006, Twenty-Nineth Australasian Computer Science Conference (ACSC2006), Hobart, Tasmania, Australia, January 16-19 2006, pp. 13-23, 2006, Australian Computer Society, 1-920682-30-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
ZC, refinement, logic, statecharts, reactive systems, Z |
1 | Ana Cavalcanti 0001, Phil Clayton |
Verification of Control Systems using Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 15-17 August 2006, Stanford, California, USA, pp. 269-278, 2006, IEEE Computer Society, 0-7695-2530-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
refinement, CSP, Z, Simulink |
1 | Ana Cavalcanti 0001, Augusto Sampaio, Jim Woodcock 0001 |
Unifying classes and processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 4(3), pp. 277-296, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Integration, Refinement, CSP, Z |
1 | Achim D. Brucker, Burkhart Wolff |
A verification approach to applied system security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 7(3), pp. 233-247, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings, pp. 465-479, 2005, Springer, 3-540-29797-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Special interest tracks and posters) ![In: Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks and posters, pp. 1048-1049, 2005, ACM, 1-59593-051-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, pp. 253-268, 2005, Springer, 3-540-27882-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, pp. 262-278, 2005, Springer, 3-540-25559-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
object-orientation, Z |
1 | Jemima Rossmorris, Susan Stepney |
Requirements as Conjectures: Intuitive DVD Menu Navigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, pp. 172-186, 2005, Springer, 3-540-25559-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
requirements, Z, DVD, conjectures |
1 | Graeme Smith 0001, Luke Wildman |
Model Checking Z Specifications Using SAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, pp. 85-103, 2005, Springer, 3-540-25559-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
model checking, tool support, Z, SAL |
1 | Fangjun Wu, Tong Yi |
Measuring Z specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 29(5), pp. 1-5, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 12(3), pp. 231-264, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, pp. 418-433, 2004, Springer, 3-540-23841-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
UML, Z, consistency checking, formal proof, model analysis |
1 | Marius C. Bujorianu, Eerke A. Boiten |
Towards Correspondence Carrying Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings, pp. 57-71, 2004, Springer, 3-540-22381-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 13th international conference on World Wide Web, WWW 2004, New York, NY, USA, May 17-20, 2004, pp. 714-722, 2004, ACM, 1-58113-844-X. The full citation details ...](Pics/full.jpeg) |
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*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: 2004 International Conference on Computer and Information Technology (CIT 2004), 14-16 September 2004, Wuhan, China, pp. 1116-1121, 2004, IEEE Computer Society, 0-7695-2216-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
UML, formal semantics, Z, UML statechart |
1 | Marius C. Bujorianu |
Integration of Specification Languages Using Viewpoints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, pp. 421-440, 2004, Springer, 3-540-21377-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 8(1), pp. 69-77, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 15(1), pp. 48-83, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Refinement, Z, Program development |
1 | John Derrick, Eerke A. Boiten |
Relational Concurrent Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 15(2-3), pp. 182-214, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 15(2-3), pp. 146-181, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Concurrency, CSP, Z, Program development |
1 | Yuechen Qian |
Formal Development of a Distributed Logging Mechanism Supporting Disconnected Updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings, pp. 338-358, 2003, Springer, 3-540-20461-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings, pp. 266-285, 2003, Springer, 3-540-20461-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings, pp. 161-180, 2003, Springer, 3-540-40334-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 617-635, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings, pp. 127-147, 2003, Springer, 3-540-40253-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings, pp. 20-39, 2003, Springer, 3-540-40253-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings, pp. 2-19, 2003, Springer, 3-540-40253-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings, pp. 339-358, 2003, Springer, 3-540-40253-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 341-355, 2003, Springer, 3-540-00899-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
formal methods integration, Z, algebraic specifications, B, state diagrams |
1 | Richard Conn |
Software Systems Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM J. Educ. Resour. Comput. ![In: ACM J. Educ. Resour. Comput. 2(4), pp. 1, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 13(2), pp. 94-110, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 156-167, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 406-410, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Formal methods, machine translation, Z, linguistic |
1 | Augusto Sampaio, Jim Woodcock 0001, Ana Cavalcanti 0001 |
Refinement in Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings, pp. 451-470, 2002, Springer, 3-540-43928-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
unifying theories of programming, distribution, CSP, Z |
1 | Eerke A. Boiten |
Loose Specification and Refinement in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings, pp. 226-241, 2002, Springer, 3-540-43166-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA, pp. 63-70, 2001, IEEE Computer Society, 0-7695-1426-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, Vienna, Austria, September 10-14, 2001, pp. 62-73, 2001, ACM, 978-1-58113-390-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 26(2), pp. 150-177, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 12(4), pp. 228-230, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings, pp. 491-510, 2000, Springer, 3-540-67944-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 63-74, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 48(1), pp. 24-37, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 11(6), pp. 591-615, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 11(1), pp. 75-105, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1999, Denver, Colorado, USA, November 1-5, 1999., pp. 57-69, 1999, ACM, 1-58113-238-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
precise semantics, requirements class diagrams, UML, UML, Z |
1 | Colin O'Halloran, Alf Smith |
Verification of Picture Generated Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The 14th IEEE International Conference on Automated Software Engineering, ASE 1999, Cocoa Beach, Florida, USA, 12-15 October 1999, pp. 127-136, 1999, IEEE Computer Society, 0-7695-0415-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings, pp. 644-664, 1997, Springer, 3-540-63533-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 22(6), pp. 378-389, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 22(7), pp. 508-528, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 7th International Conference, DEXA '96, Zurich, Switzerland, September 9-13, 1996, Proceedings, pp. 333-355, 1996, Springer, 3-540-61656-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSE ![In: Proceedings of the ACM SIGCSE 1st Australasian Conference on Computer Science Education, ACSE 1996, Sydney, NSW, Australia, July 1996, pp. 127-134, 1996, ACM, 0-89791-845-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Z |
1 | Craig Damon, Daniel Jackson 0001, Somesh Jha |
Checking Relational Specifications With Binary Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT1996, San Francisco, California, USA, October 16-18, 1996, pp. 70-80, 1996, ACM, 978-0-89791-797-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Z |
1 | Aki Watanabe, Ken Sakamura |
A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 18th International Conference on Software Engineering, Berlin, Germany, March 25-29, 1996, Proceedings., pp. 81-89, 1996, IEEE Computer Society, 0-8186-7246-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(2), pp. 63-68, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(2), pp. 99-106, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1995 ACM symposium on applied computing, SAC'95, Nashville, TN, USA, February 26-28, 1995, pp. 147-151, 1995, ACM, 0-89791-658-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 19th International Computer Software and Applications Conference (COMPSAC'95), August 9-11, 1995, Dallas, Texas, USA, pp. 62-67, 1995, IEEE Computer Society, 0-8186-7119-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings, pp. 62-79, 1995, Springer, 3-540-60692-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 4(4), pp. 319-364, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, Ottawa, Canada, May 15-19, 1995, pp. 126-135, 1995, ACM, 0-89791-695-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Z |
1 | Rose F. Gamble |
Integrating a formal specification course with a software projects course via an editing tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1995, Nashville, Tennessee, USA, March 2-4, 1995, pp. 312-316, 1995, ACM, 0-89791-693-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Z |
1 | Neville Dean, Michael G. Hinchey |
Introducing formal methods through role-playing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1995, Nashville, Tennessee, USA, March 2-4, 1995, pp. 302-306, 1995, ACM, 0-89791-693-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Z |
1 | Kwangkeun Yi, Williams Ludwell Harrison III |
Automatic Generation and Management of Interprocedural Program Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, USA, January 1993, pp. 246-259, 1993, ACM Press, 0-89791-560-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
C, Z |
1 | Kenneth R. Wood |
A Practical Approach to Software Engineering Using Z and the Refinement Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1993, Los Angeles, California, USA, December 7-10, 1993, pp. 79-88, 1993, ACM, 978-0-89791-625-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Z |
1 | Antonio J. Alencar, Joseph A. Goguen |
OOZE: An Object Oriented Z Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991, Proceedings, pp. 180-199, 1991, Springer, 3-540-54262-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(5), pp. 611-621, 1989. The full citation details ...](Pics/full.jpeg) |
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: )
|
|