|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11964 occurrences of 4176 keywords
|
|
|
Results
Found 15043 publication records. Showing 15043 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
22 | Soumendu Bhattacharya, Ganesh Srinivasan, Sasikumar Cherubal, Achintya Halder, Abhijit Chatterjee |
System-level Testing of RF Transmitter Specifications Using Optimized Periodic Bitstreams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 22nd IEEE VLSI Test Symposium (VTS 2004), 25-29 April 2004, Napa Valley, CA, USA, pp. 229-236, 2004, IEEE Computer Society, 0-7695-2134-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Wee Kheng Leow, Siau-Cheng Khoo, Yi Sun |
Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom, pp. 96-105, 2004, IEEE Computer Society, 0-7695-2163-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
Pushdown Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings, pp. 262-277, 2002, Springer, 3-540-00010-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Alexander Kozlenkov, Andrea Zisman |
Are their Design Specifications Consistent with our Requirements? ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 9-13 September 2002, Essen, Germany, pp. 145-156, 2002, IEEE Computer Society, 0-7695-1465-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Glenn Ammons, Rastislav Bodík, James R. Larus |
Mining specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, OR, USA, January 16-18, 2002, pp. 4-16, 2002, ACM, 1-58113-450-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Manuel Rodríguez 0001, Jean-Charles Fabre, Jean Arlat |
Wrapping Real-Time Systems from Temporal Logic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Dependable Computing - EDCC-4, 4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002, Proceedings, pp. 253-270, 2002, Springer, 3-540-00012-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Bhed Bahadur Bista, Kaoru Takahashi, Norio Shiratori |
Composition of Service and Protocol Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOIN ![In: The 15th International Conference on Information Networking, ICOIN 2001, Beppu City, Oita, Japan, January 31 - February 2, 2001, pp. 171-180, 2001, IEEE Computer Society, 0-7695-0951-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Patrícia D. L. Machado |
Testing from Structured Algebraic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, pp. 529-544, 2000, Springer, 3-540-67530-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Willem C. Mallon |
On Directed Transformations of Delay-Insensitive Specifications, Alternations and Dynamic Nondeterminism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000), 2-6 April 2000, Eilat, Israel, pp. 12-22, 2000, IEEE Computer Society, 0-7695-0586-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
{Communicating Processes}, {Computer Aided Design}, Meta-stability, Formal Methods, Handshake Protocol, Delay-Insensitivity |
22 | H. B. M. Jonkers |
ISpec: Towards Practical and Sound Interface Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings, pp. 116-135, 2000, Springer, 3-540-41196-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Yong Sun, Hongji Yang, Alan J. Dix |
TDL: A Language for Transition Diagrams in the Derivation of LOTOS Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APAQS ![In: 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 30-31 October 2000, Hong Kong, China, Proceedings, pp. 226-238, 2000, IEEE Computer Society, 0-7695-0825-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Marie-Claude Gaudel, Alexandre V. Zamulin |
Algebraic Imperative Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 17-39, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Richard J. Anderson, Paul Beame, William Chan 0001, David Notkin |
Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings, pp. 460-469, 1999, Springer, 3-540-67102-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
finite state representations, Formal methods, formal verification, binary decision diagrams, symbolic model checking, software specification |
22 | Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj |
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(11), pp. 927-948, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
simulation, model checking, verification, formal methods, specification, abstraction, Requirements, consistency checking, safety analysis, SCR |
22 | Anthony Hunter, Bashar Nuseibeh |
Managing Inconsistent Specifications: Reasoning, Analysis, and Action. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 7(4), pp. 335-367, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
managing inconsistency, requiriements specification, viewpoints, paraconsistent logics |
22 | Martin Wirsing, John N. Crossley, Hannes Peterreins |
Proof Normalization of Structured Algebraic Specifications Is Convergent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers, pp. 326-340, 1998, Springer, 3-540-66246-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Michel Bidoit, Donald Sannella, Andrzej Tarlecki |
Architectural Specifications in CASL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings, pp. 341-357, 1998, Springer, 3-540-65462-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Stefan Leue, Lars Mehrmann, Mohammad Reza Mousavi 0001 |
Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The Thirteenth IEEE Conference on Automated Software Engineering, ASE 1998, Honolulu, Hawaii, USA, October 13-16, 1998, pp. 192-195, 1998, IEEE Computer Society, 0-8186-8750-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Rani Nelken, Nissim Francez |
Automatic Translation of Natural Language System Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings, pp. 360-371, 1996, Springer, 3-540-61474-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Zhenyi Jin |
Deriving Mode Invariants from SCR Specifications. ![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. 514-521, 1996, IEEE Computer Society, 0-8186-7614-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Stéphane S. Somé, Rachida Dssouli, Jean G. Vaucher |
From Scenarios to Timed Automata: Building Specifications from Users Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 2nd Asia-Pacific Software Engineering Conference (APSEC '95), December 6-9, 1995, Brisbane, Queensland, Australia, pp. 48-57, 1995, IEEE Computer Society, 0-8186-7171-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Requirements Engineering, Synthesis, Scenarios, Timed automata, Timing constraints |
22 | Roberto Souto Maior de Barros |
Deriving Relational Database Programs from Formal Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings, pp. 703-723, 1994, Springer, 3-540-58555-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Yves Ledru |
Proof-Based Development of Specifications with KIDS/VDM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings, pp. 214-232, 1994, Springer, 3-540-58555-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Wei Li 0022 |
A Logical Framework for Evolution of Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings, pp. 394-408, 1994, Springer, 3-540-57880-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Mark T. Vandevoorde |
Specifications Can Make Programs Run Faster. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings, pp. 215-229, 1993, Springer, 3-540-56610-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
22 | Arthur G. Ryman |
Illuminating software specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, October 24-28, 1993, Toronto, Ontario, Canada, 2 Volumes, pp. 412-428, 1993, IBM. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
22 | Wolfgang Reif |
Correctness of Full First-Order Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: SEKE'92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy, pp. 276-283, 1992, IEEE Computer Society, 0-8186-2830-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
22 | Egidio Astesiano, Maura Cerioli |
Non-Strict Don't Care Algebras and Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.1 ![In: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91), pp. 121-142, 1991, Springer, 3-540-53982-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Kim Guldstrand Larsen |
The Expressive Power of Implicit Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings, pp. 204-216, 1991, Springer, 3-540-54233-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Yulin Feng, Junbo Liu |
A Temporal Approach to Algebraic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings, pp. 216-229, 1990, Springer, 3-540-53048-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
22 | David W. Cordes, Doris L. Carver |
Knowledge Base Applications with Software Engineering: A Tool for Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE (Vol. 1) ![In: Proceedings of the First International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE 1988, June 1-3, 1988, Tullahoma, TN, USA. ACM, 1988 - Volume 1, pp. 266-272, 1988, ACM, 0-89791-271-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
22 | Giuseppe Lami, Robert W. Ferguson |
An Empirical Study on the Impact of Automation on the Requirements Analysis Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 22(3), pp. 338-347, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
requirements/specifications analysis, requirements/specifications tools, process metrics |
22 | Marc Frappier, Richard St-Denis |
EB 3: an entity-based black-box specification method for information systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 2(2), pp. 134-149, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Trace-based specifications, Black-box specifications, JSD, Cleanroom, Patterns, Process algebra |
22 | Carlos Canal, Lidia Fuentes, José M. Troya, Antonio Vallecillo |
Extending CORBA Interfaces with p-Calculus for Protocol Compatibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (33) ![In: TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 5-8 June 2000, St. Malo, France, pp. 208-225, 2000, IEEE Computer Society, 0-7695-0731-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
p-calculus, CORBA, open systems, behavioral specifications, protocol specifications |
21 | Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin |
Enhancing modular OO verification with separation logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, pp. 87-99, 2008, ACM, 978-1-59593-689-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
enhanced subsumption, lossless casting, static and dynamic specifications, separation logic, automated verification |
21 | Steven P. Reiss |
Specifying and checking component usage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, pp. 13-22, 2005, ACM, 1-59593-050-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
verification, specifications, components, automata, flow analysis, finite-state |
21 | Fabrice Bouquet, Bruno Legeard, Fabien Peureux |
CLPS-B - A constraint solver to animate a B specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 6(2), pp. 143-157, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
B notation, Evaluation of specifications, Animation, Constraint logic programming, Set constraints |
21 | Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre |
Mastering Test Generation from Smart Card Software Formal Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASSIS ![In: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers, pp. 70-85, 2004, Springer, 3-540-24287-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
boundary testing, smart card standard, formal specifications, functional testing, Automated test generation |
21 | Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer |
From Pre-Historic to Post-Modern Symbolic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 23(3), pp. 303-327, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
forward traversal, regular specifications, symbolic model checking, calculus |
21 | Marc Frappier, Régine Laleau |
Proving Event Ordering Properties for Information Systems. ![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. 421-436, 2003, Springer, 3-540-40253-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
E3, trace-based specifications, refinement, process algebra, B |
21 | 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 |
21 | Ryszard Janicki, Emil Sekerinski |
Foundations of the Trace Assertion Method of Module Interface Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 27(7), pp. 577-598, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Module interface specifications, trace assertion method, module refinement, tabular notation, state machines, nondeterminism, relational model, Mealy machines, step-sequences |
21 | Calvin Ko, Manfred Ruschitzka, Karl N. Levitt |
Execution Monitoring of Security-Critical Programs in Distributed Systems: A Specification-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: 1997 IEEE Symposium on Security and Privacy, May 4-7, 1997, Oakland, CA, USA, pp. 175-187, 1997, IEEE Computer Society, 0-8186-7828-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
security-critical program execution monitoring, specification-based approach, program vulnerabilities, security specifications, real-time intrusion detection system, Unix setuid root programs, system attack detection, security violations, distributed systems, synchronization, system monitoring, audit trails, formal framework |
21 | Yves Ledru |
Using KIDS as a Tool Support for VDM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 18th International Conference on Software Engineering, Berlin, Germany, March 25-29, 1996, Proceedings., pp. 236-245, 1996, IEEE Computer Society, 0-8186-7246-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
KIDS, REGROUP, VDM specifications, correctness preserving transformations, executable prototypes synthesis, proof of consistency, formal specification, REFINE, theorem proving, program verification, specification languages, tool support, theorem prover, VDM |
21 | 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 |
21 | G. A. Venkatesh, Charles N. Fischer |
SPARE: A Development Environment For Program Analysis Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(4), pp. 304-318, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
program analysis specifications, high-level specification language, SPARE, structured program analysis refinement environment, denotational specification, formal specification, testing, software tools, software tools, programming environments, specification languages, program testing, development environment, correctness proofs |
21 | Angelo Morzenti, Dino Mandrioli, Carlo Ghezzi |
A Model Parametric Real-Time Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 14(4), pp. 521-573, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
real-time systems, formal specifications, temporal logic, first-order logic, requirements validation, model-theoretic semantics |
21 | Ferhat Khendek, Gregor von Bochmann, Christian Kant |
New Results on Deriving Protocol Specifications from Service Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM Symposium on Communications Architectures & Protocols, SIGCOMM 1989, Austin, TX, USA, September 19-22, 1989, pp. 136-145, 1989, ACM, 0-89791-332-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
20 | Peter Fritzson, Adrian Pop, David Broman, Peter Aronsson |
Formal Semantics Based Translator Generation and Tool Development in Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 20th Australian Software Engineering Conference (ASWEC 2009), 14-17 April 2009, Gold Cost, Australia, pp. 256-266, 2009, IEEE Computer Society, 978-0-7695-3599-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee 0001 |
Merlin: specification inference for explicit information flow problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 75-86, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
security analysis tools, specification inference |
20 | Wishnu Prasetya, Tanja E. J. Vos, Arthur I. Baars |
Trace-based Reflexive Testing of OO Programs with T2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, pp. 151-160, 2008, IEEE Computer Society, 978-0-7695-3127-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
trace based testing, sequence based testing, unit testing, automated testing |
20 | Peter Tawdross, Andreas König 0001 |
Mixtrinsic Multi-Objective Reconfiguration of Evolvable Sensor Electronics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHS ![In: Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007), August 5-8, 2007, University of Edinburgh, Scotland, United Kingdom, pp. 51-57, 2007, IEEE Computer Society, 0-7695-2866-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Michael D. Ernst |
The Groupthink Specification Exercise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Education and Training Sessions @ ICSE ![In: Software Engineering Education in the Modern Age, Software Education and Training Sessions at the International Conference on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures, pp. 89-107, 2005, Springer, 3-540-68203-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Michael D. Ernst, John Chapin |
The groupthink specification exercise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, pp. 617-618, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Hong Mei 0001 |
ABC: Supporting Software Architectures in the Whole Lifecycle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China, pp. 342-343, 2004, IEEE Computer Society, 0-7695-2222-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Hung Ledang, Jeanine Souquières |
Contributions for Modelling UML State-Charts in B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings, pp. 109-127, 2002, Springer, 3-540-43703-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
class operation, B abstract machine, B operation, UML, event, activity, B method, state-chart |
20 | Mesfin Belachew, R. K. Shyamasundar |
MSC+: From Requirement to Prototyped Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 13-15 June 2001, Delft, The Netherlands, Proceedings, pp. 117-124, 2001, IEEE Computer Society, 0-7695-1221-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
hMSCs, Requirement Specification, Preemption, MSCs |
20 | Nancy G. Leveson |
Experiences in Designing and Using Formal Specification Languages for Embedded Control Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings, pp. 3, 2000, Springer, 3-540-67259-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Ulrich Hensel, Marieke Huisman, Bart Jacobs 0001, Hendrik Tews |
Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 105-121, 1998, Springer, 3-540-64302-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Andrei Voronkov |
On Completeness of Program Synthesis Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991, Proceedings, pp. 411-418, 1991, Springer, 3-540-55789-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Hartmut Ehrig, Werner Fey, Francesco Parisi-Presicce, Edward K. Blum |
Algebraic Theory of Module Specification with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia, August 25-29, 1996, Proceedings, pp. 59-77, 1986, Springer, 3-540-16783-8. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
20 | Emina Torlak, Mandana Vaziri, Julian Dolby |
MemSAT: checking axiomatic specifications of memory models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010, pp. 341-350, 2010, ACM, 978-1-4503-0019-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
sat, bounded model checking, memory models, axiomatic specifications |
20 | Carlo Combi, Sara Degani |
Building Logical Specifications of Temporal Granularities through Algebraic Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings, pp. 107-114, 2009, IEEE Computer Society, 978-0-7695-3727-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
temporal granularity, granularity specifications, temporal logics |
20 | Michael Pradel, Thomas R. Gross |
Automatic Generation of Object Usage Specifications from Large Method Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009, pp. 371-382, 2009, IEEE Computer Society, 978-0-7695-3891-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
formal specifications, dynamic analysis, temporal properties, Specification inference |
20 | José Raúl Romero, Juan Ignacio Jaen, Antonio Vallecillo |
Realizing Correspondences in Multi-viewpoint Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: Proceedings of the 13th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2009, 1-4 September 2009, Auckland, New Zealand, pp. 163-172, 2009, IEEE Computer Society, 978-0-7695-3785-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
multi-viewpoint specifications, viewpoint correspondences, architectural frameworks |
20 | Riham Hassan, Shawn A. Bohner, Sherif El-Kassas, Mohamed Eltoweissy |
Goal-Oriented, B-Based Formal Derivation of Security Design Specifications from Security Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain, pp. 1443-1450, 2008, IEEE Computer Society, 978-0-7695-3102-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Goal-oriented security requirements engineering, attack analysis, formal methods, threat models, design specifications |
20 | Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif |
Automating Algebraic Specifications of Non-freely Generated Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings, pp. 141-155, 2008, Springer, 978-3-540-88386-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
SAT checking, theorem proving, first-order logic, abstract data types, Algebraic specifications, finite models |
20 | Narasimha Bolloju, Sherry Xiaoyun Sun |
Exploiting the Complementary Relationship between Use Case Models and Activity Diagrams for Developing Quality Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER Workshops ![In: Advances in Conceptual Modeling - Challenges and Opportunities, ER 2008 Workshops CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM, Barcelona Spain, October 20-23, 2008. Proceedings, pp. 144-153, 2008, Springer, 978-3-540-87990-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
quality requirements specifications, activity diagrams, Use case models |
20 | Christopher P. Fuhrman |
Lightweight models for interpreting informal specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 8(4), pp. 206-221, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Informal specifications, Iterative software development, Lightweight models, Request for Comments (RFC), Trivial File Transfer, Protocol (TFTP)SPIN, Process, PROMELA |
20 | Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl |
Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 7(4), pp. 225-242, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Model checking specifications, Abstraction, Numeric constraints |
20 | Dorin Bogdan Petriu, C. Murray Woodside |
Analysing software requirements specifications for performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Software and Performance ![In: Third International Workshop on Software and Performance, WOSP@ISSTA 2002, July 24-26, 2002, Rome, Italy., pp. 1-9, 2002, ACM, 1-58113-563-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
performance, specifications, completion, nonfunctional requirements, use case maps |
20 | Peter Pfahler, Uwe Kastens |
Configuring Component-based Specifications for Domain-Specific Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 34th Annual Hawaii International Conference on System Sciences (HICSS-34), January 3-6, 2001, Maui, Hawaii, USA, 2001, IEEE Computer Society, 0-7695-0981-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Component-based language specifications, Language Design Assistant, Jacob, Eli, Domain-specific languages |
20 | Carl A. Gunter, Elsa L. Gunter, Michael Jackson 0001, Pamela Zave |
A Reference Model for Requirements and Specifications-Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRE ![In: Proceedings of the 4th International Conference on Requirements Engineering, ICRE '00, Schaumburg, Illinois, USA, June 19-23, 2000, pp. 189, 2000, IEEE Computer Society, 0-7695-0565-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
formal methods, specifications, refinement, requirements, software engineering methodology |
20 | Tereza G. Kirner |
Applying the SCR Method in Software Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: 20st International Conference of the Chilean Computer Science Society (SCCC 2000), 16-18 November 2000, Santiago, Chile, pp. 135-143, 2000, IEEE Computer Society, 0-7695-0810-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
SCR method, Software Cost Reduction method, real-time process control systems, liquid mixture system, real-time systems, formal specification, case study, process control, software cost estimation, software requirements specifications |
20 | Chia-Chu Chiang, David Neubart |
Constructing Reusable Specifications Through Analogy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1999 ACM Symposium on Applied Computing, SAC'99, San Antonio, Texas, USA, February 28 - March 2, 1999, pp. 586-592, 1999, ACM, 1-58113-086-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
TUG, specifications, reusability, formality |
20 | Phillip Baraona, Perry Alexander |
Representing abstract architectures with axiomatic specifications and activation conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), March 24-28, 1997, Monterey, CA, USA, pp. 161-168, 1997, IEEE Computer Society, 0-8186-7889-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
abstract architectures representation, activation conditions, VSPEC, Larch interface language, axiomatic style, formal specification, VHDL, formal semantics, formal analysis, axiomatic specifications |
20 | Zhanping Chen, Kaushik Roy 0001, Tan-Li Chou |
Power sensitivity - a new method to estimate power dissipation considering uncertain specifications of primary inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1997, San Jose, CA, USA, November 9-13, 1997, pp. 40-44, 1997, IEEE Computer Society / ACM, 0-8186-8200-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Monte Carlo based approach, maximum bounds, minimum bounds, power dissipation estimation, power sensitivity, primary inputs, signal properties, signal switching, uncertain specifications, logic CAD, CMOS logic circuits, power estimation, CMOS circuits, signal probability, statistical technique |
20 | Minsoo Ryu, Seongsoo Hong, Manas Saksena |
Streamlining real-time controller design: From performance specifications to end-to-end timing constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 3rd IEEE Real-Time Technology and Applications Symposium, RTAS '97, Montreal, Canada, June 9-11, 1997, pp. 91-99, 1997, IEEE Computer Society, 0-8186-8016-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
real-time controller design, performance specifications, end-to-end timing constraints, control theoretic approach, schedulability constraint, control output responses, steady state error maximum overshoot, rise time, loop processing periods, input-to-output latency, heuristic optimization algorithm, embedded real-time controller, period calibration method, real-time systems, performance requirements, control performance, real-time control system, temporal requirements, settling time |
20 | Biplav Srivastava, Subbarao Kambhampati, Amol Dattatraya Mali |
A Structured Approach for Synthesizing Planners from Specifications. ![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. 18-27, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
planners synthesis, domain-independent approach, error-proneness, manual coding, knowledge-based software synthesis tools, CLAY, Kestrel Interactive Development System, declarative control knowledge, AI, specifications, knowledge based systems, structured approach |
20 | Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi |
From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 6th Workshop on Enabling Technologies (WET-ICE '97), Infrastructure for Collaborative Enterprises, 18-20 June 1997, MIT, Cambridge, MA, USA, Proceedings, pp. 256-262, 1997, IEEE Computer Society, 0-8186-7967-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
authentication protocol specifications, flaws, automatic formal algorithm, protocol roles, intruder communication abilities, intruder computational abilities, protocol instrumentations, formal verification, encryption, message authentication, decryption, attack scenarios, deductive system |
20 | Jian Chen, Richard H. Carver |
Selecting and mapping test sequences from formal specifications of concurrent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings, pp. 112-119, 1996, IEEE Computer Society, 0-8186-7629-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
test sequence selection, incremental testing, specification partitioning, constraint-style Lotos specification, abstract test sequences, concrete test sequences, Ada implementation, formal specification, formal specifications, concurrent programs, specification-based testing, state explosion problem |
20 | Giancarlo Succi, Francesco Baruchelli, Marco Ronchetti |
A taxonomy for identifying a software component for uncertain and partial specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1996 ACM Symposium on Applied Computing, SAC'96, Philadelphia, PA, USA, February 17-19, 1996, pp. 570-579, 1996, ACM, 0-89791-820-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
uncertain specifications, classification, reuse, retrieval |
20 | Thomas Gehrke, Michaela Huhn |
ProFun - A Language for Executable Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings, pp. 304-318, 1996, Springer, 3-540-61756-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Integration of, Concurrent and Functional Programming, Language Design, Executable Specifications, Formal Reasoning |
20 | A. W. Roscoe 0001 |
Intensional specifications of security protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: Ninth IEEE Computer Security Foundations Workshop, March 10 - 12, 1996, Dromquinna Manor, Kenmare, County Kerry, Ireland, pp. 28-38, 1996, IEEE Computer Society, 0-8186-7522-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
intensional specifications, formal specification, cryptography, security protocols, cryptographic protocols, confidentiality, access protocols |
20 | Klaas Brink, Jan van Katwijk, W. J. Toetenel |
Ada 95 as implementation vehicle for formal specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30 - November 01, 1996, Seoul, Korea, pp. 98-105, 1996, IEEE Computer Society, 0-8186-7626-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
implementation vehicle, transformation steps, real-time systems, formal specification, formal specifications, Ada 95, system requirements |
20 | Reinhard Rauscher, Andreas Krause 0007 |
A System for Heuristic Modifications on PLA - Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 267-274, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
heuristic modifications, PLA-specifications, numerical exactness, implicated deviation, optimization tool, HOPE, ESPRESSO, programmable logic arrays, binary coding |
20 | Jan A. Bergstra, John V. Tucker |
Equational Specifications, Complete Term Rewriting Systems, and Computable and Semicomputable Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 42(6), pp. 1194-1230, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
computable and semicomputable algebras, equational specifications with hidden functions, many sorted algebras |
20 | Carlos Paredes, José Luiz Fiadeiro |
Reuse of Requirements and Specifications: A Formal Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSR ![In: Proceedings of the ACM SIGSOFT Symposium on Software Reusability, SSR@ICSE 1995, April 23-30, 1995, Seattle, WA, USA, pp. 263-266, 1995, ACM, 0-89791-739-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
formal specifications, reuse, theories, object, features, categories, functional requirements |
20 | Hans Samsom, Frank H. M. Franssen, Francky Catthoor, Hugo De Man |
System level verification of video and image processing specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Proceedings of the 8th International Symposium on System Synthesis (ISSS 1995), September 13-15, 1995, Cannes, France, pp. 144-149, 1995, ACM, 0-89791-771-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
formal verification method, front-end telecom, image processing specifications, loop ordering, system level verification, computational complexity, image processing, complexity, formal specification, formal verification, video processing, numerical computing |
20 | Susan M. Üsküdarli, T. B. Dinesh |
Towards a Visual Programming Environment Generator for Algebraic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 234-241, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
visual programming environment generator, special purpose languages, formally specified languages, picture definition language, VODL, language syntax, visual editors, formal specification, software tools, visual programming, visual languages, visual languages, algebraic specification, algebraic specifications, visual specification |
20 | Pam Binns, Steve Vestal |
Architecture specifications for complex real-time dependable systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 357-, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
complex real-time dependable systems, automated analytic modeling, automated system implementation, real-time systems, formal specification, program verification, specification languages, specification languages, formal models, program correctness, architecture specifications |
20 | Miguel Felder, Dino Mandrioli, Angelo Morzenti |
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(2), pp. 127-141, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
property proving, logical specifications, TRIO, Hoare method, dual language, real-time systems, real-time systems, embedded systems, formal specification, formal specification, Petri nets, temporal logic, temporal logic, theorem proving, first-order logic, timed Petri net, formal analysis, axiomatization |
20 | David E. Evans 0001, John V. Guttag, James J. Horning, Yang Meng Tan |
LCLint: A Tool for Using Specifications to Check Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1994, New Orleans, Louisiana, USA, December 6-9, 1994, pp. 87-96, 1994, ACM, 978-0-89791-691-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
LCLint, lint, specifications, C, static checking, Larch |
20 | William J. Hankley, Peikun Tsai |
A Verification Helper for Task Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, SAC'93, Indianapolis, IN, USA, February 14-16, 1993, pp. 193-202, 1993, ACM, 0-89791-567-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
verification, Ada, Ada, specifications, temporal logic, tools, concurrent systems |
20 | Alexander Borgida, John Mylopoulos, Raymond Reiter |
"...And Nothing Else Changes": The Frame Problem in Procedure Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 15th International Conference on Software Engineering, Baltimore, Maryland, USA, May 17-21, 1993., pp. 303-314, 1993, IEEE Computer Society / ACM Press, 0-89791-588-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
semantics of specification languages, formal specifications, inheritance, formal specification languages, proof obligations |
20 | Piyu Tripathy, Behçet Sarikaya |
Test Generation from LOTOS Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(4), pp. 543-552, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
LOTOS specifications, formal specification, protocols, finite state machine, specification languages, program testing, program testing, transformation rules, chart, protocol conformance testing |
20 | Yoshiaki Kakuda, Hironori Saito |
An Integrated Approach to Design of Protocol Specifications Using Protocol Validation and Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(4), pp. 459-467, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
acyclic-expansion-based protocol validation, state transition sequences, CAPE, computer-aided protocol engineering, design, formal specification, protocols, integrated system, protocol specifications, integrated approach, software module, protocol synthesis |
20 | Deepinder P. Sidhu, Carole S. Crall |
Executable Logic Specifications for Protocol Service Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(1), pp. 98-121, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
executable logic specifications, protocol service interfaces, formal modeling technique, logic-programming-based language, protocol layers, protocol standards, ISO/OSI, protocols, Prolog, PROLOG, specification languages, correctness, formal language, formal languages, transport layer |
20 | Jean-Jacques Thiel |
Stop Losing Sleep Over Incomplete Data Type Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, Salt Lake City, Utah, USA, January 1984, pp. 76-82, 1984, ACM Press, 0-89791-125-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
Data types specifications, Completeness, Unification, Term rewriting systems, Substitutions, Equational theories |
19 | Jacob Burnim, Koushik Sen |
DETERMIN: inferring likely deterministic specifications of multithreaded programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (1) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 415-424, 2010, ACM, 978-1-60558-719-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
parallel programs, determinism, specification inference |
Displaying result #301 - #400 of 15043 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|