|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 24978 occurrences of 6419 keywords
|
|
|
Results
Found 29225 publication records. Showing 29225 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
22 | Antonella Di Stefano, Michele Malgeri, Orazio Mirabella |
A specification of a PROWAY protocol with an Algebraic language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification V, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985, pp. 195-213, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
22 | Otto Haas |
Formal protocol specification based on attribute grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification V, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985, pp. 39-48, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
22 | Wolfgang Fischer 0002, Klaus Sauer, W. Denzel |
A simulation technique for communications protocols based on a formal specification by SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification V, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985, pp. 333-347, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
22 | David P. Anderson, Lawrence H. Landweber |
Protocol Specification by Real-Time Attribute Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 457-465, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
22 | Giuseppe Scollo, Antonio Anzalone, Paolo Finocchiaro, Francesco Giustolisi, Giovanni Raciti |
Specification and Implementation of the MONDAN System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 395-422, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
22 | A. Udaya Shankar, Simon S. Lam |
Specification and Verification of Time-Dependant Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 215-226, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
22 | Wolfgang Jürgensen, Son T. Vuong |
CSP and CSP Nets: A Dual Model for Protocol Specification and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 253-277, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
22 | S. Aggarwal, Robert P. Kurshan |
Automated Implementation from Formal Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 127-136, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
22 | Nihal Nounou, Yechiam Yemini |
Algebraic Specification-Based Performance Analysis of Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 541-560, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
22 | Daniel Schwabe, Ana R. Cavalli |
Temporal Logic Specification of a Virtual Ring LAN Access Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 79-91, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
22 | Björn Pehrson, Michael Yoeli |
A Communicating System Net Model for Specification and Verification of Distributed Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 383-394, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
22 | Deepinder P. Sidhu, Thomas P. Blumer |
Some Problems with the Specification of the Military Standard Transmission Control Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 375-381, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
22 | Ed Brinksma, Günter Karjoth |
A Specification of the OSI Transport Service in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 227-251, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
22 | Jonathan Billington |
Specification of the Transport Service Using Numerical Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification, Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982, pp. 77-100, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
22 | Thomas F. Piatkowski, Lap-Kin Ip, Dayun He |
State Architecture Notation and Simulation: A Formal Technique for the Specification and Testing of Protocol Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification, Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982, pp. 135-160, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
22 | Luigi Logrippo, Robert L. Probert |
Protocol/Specification-Level Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification, Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982, pp. 303-304, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
22 | Gerald A. Simon, David J. Kaufman |
An Extended Finite State Machine Approach to Protocol Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification, Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982, pp. 113-133, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
22 | Richard W. Watson |
An Experience in Transport Protocol Specification Using an Algorithmic Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification, Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982, pp. 237-247, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
22 | Thomas P. Blumer, John C. Burruss |
Generating a Service Specification of a Connection Management Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification, Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982, pp. 161-170, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
22 | Benedetto L. DiVito |
Integrated Methods for Protocol Specification and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification, Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982, pp. 411-433, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
22 | James F. Kurose |
The Specification and Verification of a Connection Establishment Protocol Using Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification, Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982, pp. 43-62, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
22 | Richard L. Schwartz, P. M. Melliar-Smith |
From State Machines to Temporal Logic: Specification Methods for Protocol Standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification, Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982, pp. 3-19, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
22 | Letu Yang, Michael Poppleton |
Automatic Translation from Combined B and CSP Specification to Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
B ![In: B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings, pp. 64-78, 2007, Springer, 3-540-68760-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | El Mustapha El Atifi, Gilles Falquet |
A Specification Language and System for the Three-Dimensional Visualisation of Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Interactive Systems, Design, Specification, and Verification, 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers, pp. 126-136, 2005, Springer, 3-540-34145-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Benjamin Braatz, Markus Klein 0001, Gunnar Schröter |
Semantical Integration of Object-Oriented Viewpoint Specification Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 602-626, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Brian Demsky, Martin C. Rinard |
Static Specification Analysis for Termination of Specification-Based Data Structure Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 17-20 November 2003, Denver, CO, USA, pp. 71-84, 2003, IEEE Computer Society, 0-7695-2007-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Christine Poerschke, David E. Lightfoot, John L. Nealon |
A Formal Specification in B of a Medical Decision Support System. ![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. 497-512, 2003, Springer, 3-540-40253-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Pamela Zave, Michael Jackson 0001 |
Techniques for Partial Specification and Specification of Switching Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe (1) ![In: VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions, pp. 511-525, 1991, Springer, 3-540-54834-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Robert Balzer, Neil M. Goldman |
Principles of good software specification and their implications for specification languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1981 National Computer Conference, 4-7 May 1981, Chicago, Illinois, USA, pp. 393-400, 1981, AFIPS Press, 978-1-4503-7921-2. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
22 | Sam Weber, Amitkumar M. Paradkar, Suzanne McIntosh, David C. Toll, Paul A. Karger, Matthew Kaplan 0003, Elaine R. Palmer |
The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 11-14 November 2008, Seattle/Redmond, WA, USA, pp. 229-238, 2008, IEEE Computer Society, 978-0-7695-3405-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Hui Liang, Jin Song Dong, Jing Sun 0002, Roger Duke, Rudolph E. Seviora |
Formal Specification-based Online Monitoring. ![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. 152-162, 2006, IEEE Computer Society, 0-7695-2530-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Markus Garschhammer, Harald Rölle |
Requirements on Quality Specification Posed by Service Orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSOM ![In: Utility Computing: 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2004, Davis, CA, USA, November 15-17, 2004.Proceedings, pp. 1-14, 2004, Springer, 3-540-23631-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Sun-Jen Huang, Richard Lai 0001 |
Measuring the Maintainability of a Communication Protocol Based on Its Formal Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(4), pp. 327-344, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
factor-subfactor-metric model, software metrics, Formal description techniques, Estelle, software maintainability |
22 | Abdesselam Redouane |
A New Definitional Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2003, International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part I, pp. 694-703, 2003, Springer, 3-540-40155-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Benjamin C. Pierce, Jerome Vouillon |
Unison: A File Synchronizer and Its Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings, pp. 560, 2001, Springer, 3-540-42736-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Giovanna Dondossola, Oliver Botti |
System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 82-96, 2000, Springer, 3-540-67261-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Zhenyu Qian |
A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Syntax and Semantics of Java ![In: Formal Syntax and Semantics of Java, pp. 271-312, 1999, Springer, 3-540-66158-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Jeffrey M. Thompson, Mats Per Erik Heimdahl, Steven P. Miller |
Specification-Based Prototyping for Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Software Engineering - ESEC/FSE'99, 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 1999, Proceedings, pp. 163-179, 1999, Springer, 3-540-66538-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Raymond E. Miller, Z. U. Chaudry |
On estimating protocol performance from a formal specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCCC ![In: Proceedings of the IEEE International Performance Computing and Communications Conference, IPCCC 1999, Phoenix/Scottsdale, Arizona, USA, 10-12 February 1999, pp. 157-163, 1999, IEEE, 0-7803-5258-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Jo Erskine Hannay |
Specification Refinement with System F. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings, pp. 530-545, 1999, Springer, 3-540-66536-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour |
Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 1996 International Symposium on Software Testing and Analysis, ISSTA 1996, San Diego, CA, USA, January 8-10, 1996, pp. 270-279, 1996, ACM, 0-89791-787-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
22 | David Lee 0001, K. K. Ramakrishnan, W. Melody Moh, A. Udaya Shankar |
Protocol Specification Using Parameterized Communicating Extended Finite Stte Machines - A Case Study of The ATM ABR Rate Control Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: 1996 International Conference on Network Protocols, ICNP 1996, October 29 - November 1, 1996, Columbus, Ohio, USA, pp. 208-217, 1996, IEEE Computer Society, 0-8186-7453-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Alok N. Choudhary, Vijay Gehlot, Bhagirath Narahari |
Syntax and Semantics of PRETSEL - A Specification Language for Parallel Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 29th Annual Hawaii International Conference on System Sciences (HICSS-29), January 3-6, 1996, Maui, Hawaii, USA, pp. 525-535, 1996, IEEE Computer Society, 0-8186-7324-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Huimin Lin |
Procedural Implementation of Algebraic Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 15(5), pp. 876-895, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
abstract implementation, Spec, program refinement, procedural abstraction |
22 | Danny B. Lange |
A Formal Approach to Hypertext using Post-Prototype Formal Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe ![In: VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings, pp. 99-121, 1990, Springer, 3-540-52513-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
22 | Anne Mauboussin, H. Perdrix, Michel Bidoit, Marie-Claude Gaudel, Jacques Hagelstein |
From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Methods ![In: Algebraic Methods II: Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989], pp. 395-431, 1989, Springer, 3-540-53912-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
22 | XinJie Jiang, YongSen Xu |
NUSL: An Executable Specification Language Based on Data Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe ![In: VDM '88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings, pp. 124-138, 1988, Springer, 3-540-50214-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
22 | Martin S. Feather |
Language Support for the Specification and Development of Composite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 9(2), pp. 198-234, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
Gist |
22 | Dave Neilson |
Hierarchical Refinement Of A Z Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Seventh Conference, Pune, India, December 17-19, 1987, Proceedings, pp. 376-399, 1987, Springer, 3-540-18625-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
22 | John V. Guttag, James J. Horning |
Formal Specification as a Design Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, Las Vegas, Nevada, USA, January 1980, pp. 251-261, 1980, ACM Press, 0-89791-011-7. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
22 | Stefan Hallerstede, Michael J. Butler |
Performance analysis of probabilistic action systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 16(4), pp. 313-331, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Trace refinement, Simulation, Markov decision process |
22 | Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
KIV 3.0 for Provably Correct Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM-Trends ![In: Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings, pp. 330-337, 1998, Springer, 3-540-66462-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Doron A. Peled |
Sometimes 'Some' is as Good as 'All'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings, pp. 192-206, 1992, Springer, 3-540-55822-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
22 | Jameleddine Hassine, Juergen Rilling, Rachida Dssouli |
Use Case Maps as a property specification language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 8(2), pp. 205-220, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Temporal and architectural scope, Formal verification, Temporal logic, Use Case Maps, Property specification |
22 | Tomás Poch, Frantisek Plásil |
Extracting Behavior Specification of Components in Legacy Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBSE ![In: Component-Based Software Engineering, 12th International Symposium, CBSE 2009, East Stroudsburg, PA, USA, June 24-26, 2009, Proceedings, pp. 87-103, 2009, Springer, 978-3-642-02413-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Component behavior specification, Reverse engineering |
22 | José Luis de la Vara, Juan Sánchez |
BPMN-Based Specification of Task Descriptions: Approach and Lessons Learnt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFSQ ![In: Requirements Engineering: Foundation for Software Quality, 15th International Working Conference, REFSQ 2009, Amsterdam, The Netherlands, June 8-9, 2009, Proceedings, pp. 124-138, 2009, Springer, 978-3-642-02049-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Information System, Requirements Specification, Requirements Elicitation, BPMN, Task Description |
22 | Emil Vassev, Mike Hinchey, Joey Paquet |
Towards an ASSL specification model for NASA swarm-based exploration missions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 1652-1657, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
swarm missions, autonomic computing, formal specification language |
22 | Lei Wang 0002, Nicholas J. Dingle, William J. Knottenbelt |
Natural Language Specification of Performance Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPEW ![In: Computer Performance Engineering, 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings, pp. 141-151, 2008, Springer, 978-3-540-87411-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Performance requirements specification, Performance Trees, Performance analysis, Natural language |
22 | Yongwu Miao, Peter B. Sloep, Rob Koper |
Modeling Units of Assessment for Sharing Assessment Process Information: Towards an Assessment Process Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWL ![In: Advances in Web Based Learning - ICWL 2008, 7th International Conference, Jinhua, China, August 20-22, 2008. Proceedings, pp. 132-144, 2008, Springer, 978-3-540-85032-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
e-learning standard, IMS QTI, assessment process specification, new forms of assessment, IMS LD |
22 | Stephan Frohnhoff, Thomas Engeroff |
Field Study: Influence of Different Specification Formats on the Use Case Point Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSM/Metrikon/Mensura ![In: Software Process and Product Measurement, International Conferences: IWSM 2008, Metrikon 2008, and Mensura 2008, Munich, Germany, November 18-19, 2008. Proceedings, pp. 62-75, 2008, Springer, 978-3-540-89402-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
project effort estimation, top-down estimation, UCP, estimation reproducibility, specification, field study, use case points |
22 | Nelson Souto Rosa, Paulo Roberto Freire Cunha |
A formal framework for middleware behavioural specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 32(2), pp. 1-7, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
middleware, formal specification, framework, LOTOS |
22 | Thomas Fleischmann |
Model Based HMI Specification in an Automotive Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (8) ![In: Human Interface and the Management of Information. Methods, Techniques and Tools in Information Design, Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings Part I, pp. 31-39, 2007, Springer, 978-3-540-73344-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
HMI Specification, Code generation, Domain Specific Language, Model based |
22 | Iakovos Ouranos, Petros S. Stefaneas |
Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers, pp. 247-259, 2007, Springer, 978-3-540-75413-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Algebraic Specification and Verification, Observational Transition Systems, SPINS Protocol suite, Sensor Networks, CafeOBJ |
22 | Lea Skorin-Kapov, Maja Matijasevic |
A data specification model for multimedia QoS negotiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiMedia ![In: Proceedings of the 3rd International Conference on Mobile Multimedia Communications, MobiMedia 2007, Nafpaktos, Greece, August 27-29, 2007, pp. 27, 2007, ICST, 978-963-06-2670-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
data specification, QoS, multimedia, adaptation, negotiation |
22 | Delphine Longuet, Marc Aiguier |
Specification-Based Testing for CoCasl's Modal Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings, pp. 356-371, 2007, Springer, 978-3-540-73857-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
axiom unfolding, coalgebraic specifications, CoCasl, modal logic, Specification-based testing |
22 | Ádám Darvas, Peter Müller 0001 |
Faithful mapping of model classes to mathematical structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS ![In: Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, SAVCBS 2007, Dubrovnik, Croatia, September 3-4, 2007, pp. 31-38, 2007, ACM, 978-1-59593-721-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
model classes, verification, specification, abstraction, isomorphism, java modeling language |
22 | Yannick Le Moullec, Jean-Philippe Diguet, Nader Ben Amor, Thierry Gourdeaux, Jean Luc Philippe |
Algorithmic-level Specification and Characterization of Embedded Multimedia Applications with Design Trotter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 42(2), pp. 185-208, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
algorithm/architecture matching, specification, SoCs, design-space exploration, characterization |
22 | Deni Torres Román, Joaquín Cortez González, Raul Ernesto Gonzalez-Torres |
Improving the Digital Design with Semi-formal Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONIELECOMP ![In: 16th International Conference on Electronics, Communications, and Computers (CONIELECOMP 2006), 27 February 2005 - 1 March 2006, Cholula, Puebla, Mexico, pp. 55, 2006, IEEE Computer Society, 0-7695-2505-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
semiformal specification, model checking tools, assertions, properties, Assertion based verification |
22 | Hongmei Chi, Edward L. Jones, Deidre W. Evans, Martin Brown |
Generating Test Data for Specification-Based Tests Via Quasirandom Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (4) ![In: Computational Science - ICCS 2006, 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV, pp. 773-780, 2006, Springer, 3-540-34385-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
specification-driven test, functional test coverage, quasirandom numbers, well-distributed sequences, automatic test case generation |
22 | Shamus P. Smith, James S. Willans |
Virtual object specification for usable virtual environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OZCHI ![In: Proceedings of the 2006 Australasian Computer-Human Interaction Conference, OZCHI 2006, Sydney, Australia, November 20-24, 2006, pp. 183-190, 2006, ACM, 1-59593-545-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
virtual world objects, design, virtual environments, specification, requirements, scenarios |
22 | Humberto Nicolás Castejón Martínez, Rolv Bræk |
A collaboration-based approach to service specification and detection of implied scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCESM ![In: SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, May 27, 2006, pp. 37-43, 2006, ACM, 1-59593-394-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML 2.0 collaborations, goal sequences, implied scenarios, roles, goals, service specification |
22 | Annette Bunker, Ganesh Gopalakrishnan, Konrad Slind |
Live sequence charts applied to hardware requirements specification and verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 7(4), pp. 341-350, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Protocol compliance, Virtual Component Interface Standard, Formal verification, Specification, Live Sequence Charts |
22 | Chinyang Henry Tseng, Tao Song, Poornima Balasubramanyam, Calvin Ko, Karl N. Levitt |
A Specification-Based Intrusion Detection Model for OLSR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAID ![In: Recent Advances in Intrusion Detection, 8th International Symposium, RAID 2005, Seattle, WA, USA, September 7-9, 2005, Revised Papers, pp. 330-350, 2005, Springer, 3-540-31778-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Specification based IDS, MANET, Mobile ad hoc network, Intrusion Detection, Network Security, Constraints, OLSR |
22 | Elisa Bertino, Ahmed K. Elmagarmid, Mohand-Said Hacid |
A Logical Approach to Quality of Service Specification in Video Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 23(2), pp. 75-101, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
QoS mapping, constraint-based query languages, constraint satisfaction, reactive systems, video databases, multimedia presentations, constraint optimization, QoS parameters, QoS specification |
22 | Prasanna Thati, Carolyn L. Talcott, Gul Agha |
Techniques for Executing and Reasoning about Specification Diagrams. ![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. 521-536, 2004, Springer, 3-540-22381-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Graphical specification languages, may testing, trace equivalence, rewriting logic, calculus |
22 | Miguel A. de Miguel, M. Teresa Higuera-Toledano |
Runtime Management of Quality Specification for QoS-Aware Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 30th EUROMICRO Conference 2004, 31 August - 3 September 2004, Rennes, France, pp. 84-91, 2004, IEEE Computer Society, 0-7695-2199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Component Infrastructures, Model-Driven Component Development, Quality of Service Specification |
22 | Sule Nair, Rachel Cardell-Oliver |
Formal specification and analysis of performance variation in sensor network diffusion protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSWiM ![In: Proceedings of the 7th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2004, Venice, Italy, October 4-6, 2004, pp. 170-173, 2004, ACM, 1-58113-953-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
temporal logic of actions, sensor network, formal specification, directed diffusion |
22 | Elisa Bertino, Ahmed K. Elmagarmid, Mohand-Said Hacid |
A Database Approach to Quality of Service Specification in Video Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 32(1), pp. 35-40, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
QoS Mapping, constraint-based query languages, quality of service, constraint satisfaction, video databases, multimedia presentations, QoS Parameters, QoS Specification |
22 | Xiaofeng Gong, Julian Newman |
The Role of Deontic Concepts and Commitment in the Policy Specification of Mobile Computing Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, OTM Confederated International Workshops, HCI-SWWA, IPW, JTRES, WORM, WMS, and WRSM 2003, Catania, Sicily, Italy, November 3-7, 2003, Proceedings, pp. 807-815, 2003, Springer, 3-540-20494-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
deontic concepts, speech acts oriented communication, mobile computing, Commitment, commitments, security policy specification |
22 | Serdar Tasiran, Yuan Yu, Brannon Batson |
Using a formal specification and a model checker to monitor and direct simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003, pp. 356-361, 2003, ACM, 1-58113-688-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
model checking, specification, abstraction, coverage |
22 | Frank Feiks, David Hemer |
Specification Matching of Object-Oriented Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia, pp. 182-190, 2003, IEEE Computer Society, 0-7695-1949-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
OO components, retrieval, specification matching |
22 | Soon-Jyh Chang, Chung-Len Lee 0001, Jwu E. Chen |
Structural Fault Based Specification Reduction for Testing Analog Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 18(6), pp. 571-581, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
specification-based test, analog test, fault-based test, test cost reduction |
22 | Rasool Jalili, Mohsen Rezvani |
Specification and Verification of Security Policies in Firewalls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EurAsia-ICT ![In: EurAsia-ICT 2002: Information and Communication Technology, First EurAsian Conference, Shiraz, Iran, October 29-31, 2002, Proceedings, pp. 154-163, 2002, Springer, 3-540-00028-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Formal Specification, Security Policy, Firewall |
22 | Marielle Doche, Andrew M. Gravell |
Extraction of Abstraction Invariants for Data Refinement. ![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. 120-139, 2002, Springer, 3-540-43166-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
failure refinement, distributed system, Formal specification, CSP, B, data refinement |
22 | Michael Leuschel |
Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings, pp. 14-28, 2001, Springer, 3-540-41768-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Implementation and Compilation, Verification, Concurrency, Specification |
22 | Marielle Doche, Isabelle Vernier-Mounier, Fabrice Kordon |
A Modular Approach to the Specification and Validation of an Electrical Flight Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings, pp. 590-610, 2001, Springer, 3-540-41791-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Verification, Modularity, Test Generation, Case Tools, Heterogeneous Specification |
22 | Stefan Sauer 0001, Gregor Engels |
UML-based Behavior Specification of Interactive Multimedia Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), September 5-7, 2001 Stresa, Italy, pp. 248-255, 2001, IEEE Computer Society, 0-7803-7198-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
UML, interactive multimedia, behavior specification, integrated modeling |
22 | Mor Peleg, Dov Dori |
The Model Multiplicity Problem: Experimenting with Real-Time Specification Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 26(8), pp. 742-759, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Analysis and design methodologies, real-time systems specification, quality of analysis, software engineering and empirical evaluation, experimentation, object-oriented analysis, object-process methodology |
22 | Edwin D. de Jong, Jaco van de Pol, Jozef Hooman |
Refinement in Requirements Specification and Analysis: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland, UK, pp. 290-298, 2000, IEEE Computer Society, 0-7695-0604-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
requirements specification and analysis, formal methods, refinement, theorem provers |
22 | Rémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre |
Petri Net Based Behavioural Specification of CORBA Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings, pp. 66-85, 1999, Springer, 3-540-66132-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
behavioural specification, Distributed systems, CORBA, high-level Petri nets |
22 | Rémi Bastide, Ousmane Sy, Philippe A. Palanque |
Formal Specification and Prototyping of CORBA Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'99 - Object-Oriented Programming, 13th European Conference, Lisbon, Portugal, June 14-18, 1999, Proceedings, pp. 474-494, 1999, Springer, 3-540-66156-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Formal methods, Petri nets, CORBA, behavioral specification, Distributed object-oriented systems |
22 | Rodolphe Ortalo |
A Flexible Method for Information System Security Policy Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 98, 5th European Symposium on Research in Computer Security, Louvain-la-Neuve, Belgium, September 16-18, 1998, Proceedings, pp. 67-84, 1998, Springer, 3-540-65004-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
information systems, deontic logic, security policy specification |
22 | Alberto Coen-Porisini, Carlo Ghezzi, Richard A. Kemmerer |
Specification of Realtime Systems Using ASTRAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 23(9), pp. 572-598, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
ASLAN, TRIO, Formal methods, temporal logic, assertions, state machines, composability, timing requirements, formal specification and verification, realtime systems |
22 | Amnon H. Eden, Amiram Yehudai, Joseph Gil |
Precise Specification and Automatic Application of Design Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 143-152, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
precise pattern specification, automatic pattern application, meta-programming language, software tool prototype, source code test, source code editing, algorithm, design patterns, object-oriented design, object-oriented methods |
22 | Phil Stocks, David A. Carrington |
A Framework for Specification-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 22(11), pp. 777-793, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Specification-based testing, testing strategies, test oracles, Z notation, test data |
22 | Roderick McConnell, Dominique Lavenier |
Prototyping of VLSI components from a formal specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 12(2), pp. 177-186, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Synchronous Data Flow, Formal Specification, VLSI |
22 | Issam A. Hamid |
A dynamic Extension for the Specification of Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 3rd Asia-Pacific Software Engineering Conference (APSEC '96), December 4-7, 1996, Seoul, South Korea, pp. 256-267, 1996, IEEE Computer Society, 0-8186-7638-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
dynamic extension, distributed systems, software engineering, specification |
22 | Richard C. Scalzo, Michelle M. Hugue |
A Framework for Dependability Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 21-25 October 1996, Montreal, Canada, pp. 301-, 1996, IEEE Computer Society, 0-8186-7614-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
real-time, framework, specification, dependability |
22 | Alberto Del Bimbo, Enrico Vicario |
Specification by-Example of Virtual Agents Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 1(4), pp. 350-360, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Interactive graphic environments, specification by-example, human-computer interaction, virtual reality, animation, rapid prototyping, spatio-temporal reasoning |
22 | Karl R. P. H. Leung, Daniel Kim Chung Chan |
Prototyping the Structured Specification as Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 2nd Asia-Pacific Software Engineering Conference (APSEC '95), December 6-9, 1995, Brisbane, Queensland, Australia, pp. 380-389, 1995, IEEE Computer Society, 0-8186-7171-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Structured Specification, Formal Methods, Prototyping |
|
|