|
|
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 |
33 | Gordon D. Plotkin |
Dijkstras Predicate Transformers & Smyth's Power Domaine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract Software Specifications ![In: Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings, pp. 527-553, 1979, Springer, 3-540-10007-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
33 | Peter E. Lauer, M. W. Shields, Eike Best |
Design & Analysis of Highly Parallel & Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract Software Specifications ![In: Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings, pp. 451-503, 1979, Springer, 3-540-10007-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
33 | Barbara H. Liskov |
Modular Program Construction Using Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract Software Specifications ![In: Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings, pp. 354-389, 1979, Springer, 3-540-10007-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
33 | Joseph E. Stoy |
Foundations of Denotational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract Software Specifications ![In: Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings, pp. 43-99, 1979, Springer, 3-540-10007-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
33 | Heinz Zemanek |
Abstract Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract Software Specifications ![In: Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings, pp. 1-42, 1979, Springer, 3-540-10007-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
33 | Peter Lucas 0001 |
On the Structure of Application Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract Software Specifications ![In: Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings, pp. 390-438, 1979, Springer, 3-540-10007-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
33 | Dragos Truscan, Johan Lindqvist, Johan Lilius, Ivan Porres, Timo Eriksson, Juha Rakkola, Antti Latva-Aho |
Testable Specifications of NoTA-based Modular Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March - 4 April 2008, Belfast, Northern Ireland, pp. 375-383, 2008, IEEE Computer Society, 978-0-7695-3141-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
NoTA architecture, SOA, SOC, testing specifications |
33 | Michel Bidoit, Donald Sannella, Andrzej Tarlecki |
Architectural Specifications in CASL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 13(3-5), pp. 252-273, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
CASL, Formal software development, Specification of program structure, Algebraic specification, Architectural specifications |
33 | Calvin Ko |
Logic Induction of Valid Behavior Specifications for Intrusion Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: 2000 IEEE Symposium on Security and Privacy, Berkeley, California, USA, May 14-17, 2000, pp. 142-153, 2000, IEEE Computer Society, 0-7695-0665-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Specification-based detection, Valid behavior specifications, Machine Learning, Intrusion detection, Inductive Logic Programming, ILP |
33 | Hung T. Nguyen 0002, Vladik Kreinovich |
Using Gelfond-Przymusinska's epistemic specifications to justify (some) heuristic methods used in expert systems and intelligent control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 1(4), pp. 198-209, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Interval-valued degrees of belief, Epistemic specifications, Expert system, Intelligent control |
33 | Alexander Borgida, John Mylopoulos, Raymond Reiter |
On the Frame Problem in Procedure Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(10), pp. 785-798, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
frame assertion, semantics of specification languages, specifications, languages, inheritance, Formal, proof obligations |
33 | Pankaj Jalote |
Testing the Completeness of Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(5), pp. 526-531, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
completeness testing, VAX system, data structures, Unix, program testing, conformance testing, abstract data types, test cases, axiomatic specifications |
32 | Delphine Longuet, Marc Aiguier |
Integration Testing from Structured First-Order Specifications via Deduction Modulo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings, pp. 261-276, 2009, Springer, 978-3-642-03465-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Mithun Acharya, Tao Xie 0001 |
Mining API Error-Handling Specifications from Source Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 370-384, 2009, Springer, 978-3-642-00592-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Westley Weimer, Nina Mishra |
Privately Finding Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 34(1), pp. 21-32, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
F.3.1.f Specification techniques, D.2.19 Software Quality/SQA, I.2.6 Learning, K.4.1.f Privacy |
32 | Manuvir Das |
Formal Specifications on Industrial-Strength Code-From Myth to Reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 1, 2006, Springer, 3-540-37406-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Giovanna Di Marzo Serugendo |
On the Use of Formal Specifications as Part of Running Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SELMAS (LNCS) ![In: Software Engineering for Multi-Agent Systems IV, Research Issues and Practical Applications [the book is a result of SELMAS 2005]., pp. 224-237, 2005, Springer, 3-540-33580-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Gillian Hill, Steven Vickers |
A Language for Configuring Multi-level Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings, pp. 196-210, 2004, Springer, 3-540-22381-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Tim Miller, Paul A. Strooper |
A framework and tool support for the systematic testing of model-based specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 12(4), pp. 409-439, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
specification animation, testgraphs, testing, Formal verification |
32 | Sandro Morasca |
Measuring Attributes of Concurrent Software Specifications in Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE METRICS ![In: 6th IEEE International Software Metrics Symposium (METRICS 1999), 4-6 November 1999, Boca Raton, FL, USA, pp. 100-110, 1999, IEEE Computer Society, 0-7695-0403-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
32 | J. Jenny Li, Joseph Robert Horgan |
chi-SUDS-SDL: A Tool for Diagnosis and Understanding Software Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 6th Asia-Pacific Software Engineering Conference (APSEC '99), 7-10 December 1999, Takamatsu, Japan, pp. 274-, 1999, IEEE Computer Society, 0-7695-0509-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
cSuds and Specification and Description Language (SDL), Software specification, debugging tool, coverage testing |
32 | Deepak Kapur |
An Automated Tool for Analyzing Completeness of Equational Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 1994 International Symposium on Software Testing and Analysis, ISSTA 1994, Seattle, WA, USA, August 17-19, 1994, pp. 28-43, 1994, ACM, 0-89791-683-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
32 | Alberto Coen-Porisini, Richard A. Kemmerer |
The Composability of ASTRAL Realtime Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 1993 International Symposium on Software Testing and Analysis, ISSTA 1993, Cambridge, MA, USA, June 28-30, 1993, pp. 128-138, 1993, ACM, 0-89791-608-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Franck Ledoux, Agnès Arnould, Pascale Le Gall, Yves Bertrand |
Geometric Modelling with CASL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers, pp. 176-200, 2001, Springer, 3-540-43159-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
CASL language, specification methodology, formal specifications, geometric modelling, algebraic specifications |
31 | Manuel Fähndrich |
Language-agnostic specification and verification: invited talk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009, pp. 1-2, 2009, ACM, 978-1-60558-330-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
specifications, static analysis, abstract interpretation, contracts, net |
31 | Xiaowen Chen, Tim Wahls |
A graphical user interface for executing formal specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), March 11-14, 2001, Las Vegas, NV, USA, pp. 648-652, 2001, ACM, 1-58113-287-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
SPECS-C++, formal specifications, C++, user interface design, executable specifications |
31 | Shin Nakajima 0001, Kokichi Futatsugi |
An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Pulling Together, Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997., pp. 34-44, 1997, ACM, 0-89791-914-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
concurrent rewriting, excutable specifications, object-oriented modelinng, formal methods, algebraic specifications, OBJ, CafeOBJ |
31 | Jean-Pierre Jacquot, A. Valdenaire |
Trading legibility against implementability in requirement specifications: an experimental assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: Second IEEE International Symposium on Requirements Engineering, March 27 - 29, 1995, York, England, UK, pp. 181-189, 1995, IEEE Computer Society, 0-8186-7017-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
experimental assessment, elisions, flexible syntaxes, incomplete texts, GLIDER, rigorous assessment, term parsing, human factor features, formal specification, formal specifications, specification languages, specification language, requirement specifications, grammars |
30 | Tao Xie 0001, David Notkin |
Mutually Enhancing Test Generation and Specification Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES ![In: Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003, pp. 60-69, 2003, Springer, 3-540-20894-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Ivo Krka, Yuriy Brun, George Edwards, Nenad Medvidovic |
Synthesizing partial component-level behavior models from system specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009, pp. 305-314, 2009, ACM, 978-1-60558-001-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
behavior model synthesis, modal transition systems, constraints, scenarios, partial specifications |
30 | Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone |
Modal interfaces: unifying interface automata and modal specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009, pp. 87-96, 2009, ACM, 978-1-60558-627-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
modal specifications, compatibility, interface automata |
30 | Johannes Henkel, Christoph Reichenbach, Amer Diwan |
Developing and debugging algebraic specifications for Java classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 17(3), pp. 14:1-14:37, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Algebraic interpretation, specification discovery, algebraic specifications |
30 | Sébastien Labbé 0002, Jean-Pierre Gallois |
Slicing communicating automata specifications: polynomial algorithms for model reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(6), pp. 563-595, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Communicating automata, Specifications, Static analysis, Slicing, Dataflow analysis, Model reduction, Polynomial algorithms |
30 | Marc Aiguier, Delphine Longuet |
Test Selection Criteria for Modal Specifications of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China, pp. 159-170, 2007, IEEE Computer Society, 0-7695-2856-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
dynamic specifications, proof tree normalisation, Specification-based testing, unfolding, coalgebras, exhaustivity, selection criteria |
30 | Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre |
Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES ![In: Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers, pp. 203-217, 2005, Springer, 3-540-34454-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
proof tree normalization, conditional rewriting, algebraic specifications, Specification-based testing, unfolding, selection criteria |
30 | Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Ana Fernández Vilas, Ana Belén Barragáns-Martínez |
Approximate Retrieval of Incomplete and Formal Specifications Applied to Horizontal Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 28th EUROMICRO Conference 2002, 4-6 September 2002, Dortmund, Germany, pp. 90-97, 2002, IEEE Computer Society, 0-7695-1787-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
component-based requirements engineering, reuse of formal requirement specifications, iterative and incremental software processes, software reuse |
30 | Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski |
Checking Amalgamability Conditions for C ASL Architectural Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings, pp. 451-463, 2001, Springer, 3-540-42496-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
formal specification and program development, CASL, algorithms, decidability, architectural specifications, amalgamation |
30 | Pedro Sánchez, Patricio Letelier 0001, Isidro Ramos |
Animating Formal Specifications with Inheritance in a DL-Based Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 4(4), pp. 198-209, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Animation of specifications, Requirements engineering, Inheritance, Object-oriented methods |
30 | Soon-Kyeong Kim, David A. Carrington |
Visualization of Formal Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 6th Asia-Pacific Software Engineering Conference (APSEC '99), 7-10 December 1999, Takamatsu, Japan, pp. 102-109, 1999, IEEE Computer Society, 0-7695-0509-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Visualization, UML, Formal Specifications, Z notation |
30 | Huaikou Miao, Xiaolei Gao, Ling Liu |
An Approach to Testing the Nonexistence of Initial State in Z Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 8th Asian Test Symposium (ATS '99), 16-18 November 1999, Shanghai, China, pp. 289-294, 1999, IEEE Computer Society, 0-7695-0315-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
constructed function, constrained states space, states space, Z specifications |
30 | Jean-Yves Lucas, Jean-Luc Dormoy, Bruno Ginoux, Claudia Jimenez-Dominguez, Laurent Pierre |
How to Reconcile Formal Specifications and Automatic Programming: The Descartes System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 5th Asia-Pacific Software Engineering Conference (APSEC '98), 2-4 December 1998, Taipei, Taiwan, ROC, pp. 38-45, 1998, IEEE Computer Society, 0-8186-9183-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Mathematical-type language, Automated Software Design, Formal Specifications, Formal Methods, Automatic Programming |
30 | Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel |
Experiences with analysis of formal specifications in Astral. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), 27-29 October 1997, Taipei, Taiwan, pp. 143-, 1997, IEEE Computer Society, 0-8186-8073-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
temporal properties verification, simulation, formal specification, formal specifications, prototyping, specification language, timed automata, timing analysis, requirements specification, real-time software, Astral |
30 | Linda B. Sherrell, Doris L. Carver |
FunZ Designs A Bridge between Z Specifications and Haskell Implementations. ![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. 12-17, 1995, IEEE Computer Society, 0-8186-7119-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
intermediate specification language, Formal methods, functional programming, Haskell, software design, Z specifications |
30 | Xiaoping Jia |
An approach to animating Z specifications. ![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. 108-113, 1995, IEEE Computer Society, 0-8186-7119-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
ZANS approach, animation approaches, imperative intermediate language, formal specification, computer science education, specification languages, visual programming, computer aided software engineering, requirements validation, Z specifications, code synthesis, Z specification languages |
30 | Kanth Miriyala, Mehdi T. Harandi |
Automatic Derivation of Formal Software Specifications From Informal Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(10), pp. 1126-1142, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
formal software specifications, common problem-solving techniques, difference-based reasoning, informal description, SPECIFIER, previously solved problem, analogy mapping, formal specification, data structures, software tools, interactive system, analogy, automatic programming, schemas, data types, problem-solving process |
30 | Stephen J. Garland, John V. Guttag, James J. Horning |
Debugging Larch Shared Language Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(9), pp. 1044-1057, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Larch shared language specifications, checkability, Larch power, theory containment, design, formal specification, parallel programming, debugging, consistency, development, inference mechanisms, program debugging, static semantics, concurrent algorithms |
30 | Robin A. Nicholl |
Unreachable States in Model-Oriented Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(4), pp. 472-477, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
unreachable states, model-oriented specifications, detection of errors, bottom-up implementation strategy, formal specification, formal specification, software development, software components |
30 | Ted J. Biggerstaff |
Factored Specifications In The Synthesis Of LISP Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference (1) ![In: Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume I, pp. 393-402, 1978, ACM, 978-0-89791-000-2. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
Automatic program synthesis, Factored specifications, LISP programs, LISP, Program specification |
29 | Yi Huang, Dennis Gannon |
A Comparative Study of Web Services-based Event Notification Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: 2006 International Conference on Parallel Processing Workshops (ICPP Workshops 2006), 14-18 August 2006, Columbus, Ohio, USA, pp. 7-14, 2006, IEEE Computer Society, 0-7695-2637-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
WS-Eventing, Web service, Grid computing, publish/subscribe, mediation, event notification, WS-Notification |
29 | Soumendu Bhattacharya, Achintya Halder, Ganesh Srinivasan, Abhijit Chatterjee |
Alternate Testing of RF Transceivers Using Optimized Test Stimulus for Accurate Prediction of System Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 21(3), pp. 323-339, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
RF transceivers, alternate test, periodic bitstreams, optimization, behavioral modeling |
29 | Westley Weimer, George C. Necula |
Mining Temporal Specifications for Error Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 461-476, 2005, Springer, 3-540-25333-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 13(1), pp. 37-85, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
implied scenarios, negative scenarios, MSC, LTSA |
29 | Emmanuel Letier, Axel van Lamsweerde |
Deriving operational software specifications from system goals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, November 18-22, 2002, pp. 119-128, 2002, ACM, 1-58113-514-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
incremental specification, reasoning about partial models, patterns, goal-oriented requirements engineering, KAOS, operationalization, frame problem |
29 | Jeremy W. Nimmer, Michael D. Ernst |
Automatic generation of program specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2002, Roma, Italy, July 22-24, 2002, pp. 229-239, 2002, ACM, 1-58113-562-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Yvon Gardan, Christian Minich, Denis Pallez |
On Shape to Specifications Adequacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: International Conference on Information Visualisation, IV 1999, London, England, UK, July 14-16, 1999, pp. 315-321, 1999, IEEE Computer Society, 0-7695-0210-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Shape generation, Computer Aided Design, Shape estimation |
29 | Adel Benzina, Mario Paludetto, Jérôme Delatour |
About the Suitability of Petri Nets for Describing, Validating and Evaluating SA-RT Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 2-5 December 1997, Clear Water Bay, Hong Kong, pp. 249-258, 1997, IEEE Computer Society, 0-8186-8271-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
29 | Wolfgang Reif |
An Approach to Parameterized First-Order Specifications: Semantics, Correctness, Parameter Passing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods in Programming and Their Applications ![In: Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings, pp. 67-80, 1993, Springer, 3-540-57316-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
29 | E. Jane Cameron, C. A. Norman, Lillian Ruston, Hassan N. Srinidhi |
Forming telecommunications software specifications from a service-driven model using enhanced software tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Integr. ![In: J. Syst. Integr. 2(4), pp. 389-404, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
service modeling, service specification, Service creation |
29 | Liliana Favre, Liliana Martinez, Claudia Pereira |
Transforming UML Static Models into Object-Oriented Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (37) ![In: TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000, pp. 170-181, 2000, IEEE Computer Society, 0-7695-0918-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
UML static models, reuse based rigorous method, object oriented code generation, rigorous process, GSBL/sup OO/ language, SpReIm model, OCL specifications, object-oriented programming, software maintenance, software maintenance, specification languages, software reusability, program compilers, object-oriented languages, algebraic specification, algebraic specifications, reusable components, UML class diagrams, forward engineering, design artifacts |
29 | Mats Per Erik Heimdahl, Barbara J. Czerny |
Using PVS to analyze hierarchical state-based requirements for completeness and consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings, pp. 252-262, 1996, IEEE Computer Society, 0-8186-7629-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
hierarchical state based requirements specifications, input sequence, analysis procedures, large real world requirements specification, hierarchical state based language, Requirements State Machine Language, Prototype Verification System, theorem proving component, spurious error reports, formal specifications, robustness, consistency, program verification, completeness, Binary Decision Diagrams, BDDs, PVS, interactive environment, formal proofs, RSML |
29 | Kevin Lano, Stephen J. Goldsack |
Discrete event process controller synthesis using VDM++. ![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. 129-136, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
ignition, control system synthesis, heat systems, discrete event process controller synthesis, VDM/sup ++/, controller specification, gas burner system, systematic method, declarative requirement statements, abstract VDM/sup ++/ specifications, concrete VDM/sup ++/ specifications, formalised requirements, refinement process, real-time systems, formal specification, temporal logic, timing, specification languages, timing analysis, object-oriented languages, process control, parallel languages, discrete event systems, programmable controllers, controller design, Vienna development method, control system CAD, Ada95, real-time temporal logic, combustion |
29 | Kevin Lano |
Specifying static analysis tools using formal methods. ![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. 254-, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
static analysis tool specification, analysis functionality, static analysis toolset, diagrammatic analysis techniques, diagrammatic design techniques, well-structured specifications, comprehensible specifications, object-oriented structure, imperative programming culture, database culture, formal specification, formal specification, formal methods, software tools, specification languages, object-oriented methods, COBOL, structured programming, system monitoring, systems software, Z specification language, transformation functionality, industrial environment |
29 | Ying Liu, Ambuj K. Singh, Rajive L. Bagrodia |
A Decompositional Approach to the Design of Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(12), pp. 914-932, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
complete computer programs, decompositional approach, parallel program design, parallel implementation correctness, module specifications, frequently occurring control structures, subprograms, property refinement procedure, sequential composition, UNITY logic, UC programming language, diffusion aggregation, fluid flow simulations, formal specification, parallel programming, program verification, digital simulation, diffusion, iteration, physics computing, program control structures, program specifications, flow simulation |
29 | David Alex Lamb |
Specification of Iterators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(12), pp. 1352-1360, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
trace specifications, common form, iterator module, Alphard-style iterators, sequence iterator, iterator construct, procedural parameters, formal specification, data structures, algebraic specification, high level languages, partial specifications |
28 | Lalana Kagal, Tim Finin |
Modeling conversation policies using permissions and obligations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Agents Multi Agent Syst. ![In: Auton. Agents Multi Agent Syst. 14(2), pp. 187-206, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Conversation policy, Conversation specifications, Speech act ontology, Agent communication, Permissions, Obligations, Ontology languages |
28 | Lori A. Clarke |
Getting the Details Right. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Monterey Workshop ![In: Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers, pp. 10-12, 2007, Springer, 978-3-540-89777-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Requirements engineering, Finite-state verification, Property specifications, Medical Safety |
28 | Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs |
Algebraic Software Development Concepts for Module and Configuration Families. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Ninth Conference, Bangalore, India, December 19-21, 1989, Proceedings, pp. 181-192, 1989, Springer, 3-540-52048-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
module families, configuration families, formal specification development, software engineering, modules, algebraic specifications |
27 | Markus Kalb, Peter Dadam |
Unterstützung von Periodizität in Informationssystemen - Herausforderungen und Lösungsansätze. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 22(2), pp. 109-125, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Temporal Granularities, Periodicity, Temporal Queries, Temporal Data Modells |
26 | Jens Brandt 0001, Klaus Schneider 0001, Sandeep K. Shukla |
Translating concurrent action oriented specifications to synchronous guarded actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, LCTES 2010, Stockholm, Sweden, April 13-15, 2010, pp. 47-56, 2010, ACM, 978-1-60558-953-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
concurrent action-oriented specifications, code generation, synchronous languages, guarded commands |
26 | Néstor Cataño, Tim Wahls |
Executing JML specifications of Java card applications: a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 404-408, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
executable specifications, Java card, JML |
26 | Dana P. Leonard, Jason O. Hallstrom, Murali Sitaraman |
Injecting rapid feedback and collaborative reasoning in teaching specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2009, Chattanooga, TN, USA, March 4-7, 2009, pp. 524-528, 2009, ACM, 978-1-60558-183-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
collaborative reasoning, contract programming, formal methods, interface specifications, learning tools |
26 | Yannick Welsch |
Grey-box specifications for object-oriented program components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA, pp. 913-914, 2008, ACM, 978-1-60558-220-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
grey-box specifications, oop, components |
26 | Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet |
Test Selection Criteria for Quantifier-Free First-Order Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings, pp. 144-159, 2007, Springer, 978-3-540-75697-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
quantifier-free first-order specifications, axiom coverage, proof tree normalization, Specification-based testing, unfolding, test purpose, selection criteria |
26 | Björn Metzler 0001 |
Decomposing Integrated Specifications for Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, pp. 459-479, 2007, Springer, 978-3-540-73209-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Integrated Formal Specifications, Model Checking, Decomposition, Program Slicing, Compositional Verification |
26 | Fadi Hanna, Richard A. Frost |
Adding Semantics to Formal Data Specifications to Automatically Generate Corresponding Voice Data-Input Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSC ![In: Proceedings of the First IEEE International Conference on Semantic Computing (ICSC 2007), September 17-19, 2007, Irvine, California, USA, pp. 405-412, 2007, IEEE Computer Society, 0-7695-2997-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Voice XML, G-DTD, formal data specifications, voice data-input applications, XML, semantics, DTD |
26 | William B. Gardner |
Converging CSP specifications and C++ programming via selective formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 4(2), pp. 302-330, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
hardware/software codesign, Executable specifications, object-oriented application frameworks |
26 | Stephen Doxsee, William B. Gardner |
Synthesis of C++ software for automated teller from CSPm specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 1565-1566, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
executable specifications, object-oriented application frameworks |
26 | Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert |
Checking JML Specifications with B Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, pp. 434-453, 2005, Springer, 3-540-25559-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
object-oriented, specifications, B method, abstract machines, JML, Java Modeling Language |
26 | Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini |
Model-Checking TRIO Specifications in SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 542-561, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, Spin, modular specifications |
26 | Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit |
Formal Specifications of Computer-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 9th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2002), 8-11 April 2002, Lund, Sweden, pp. 224-225, 2002, IEEE Computer Society, 0-7695-1549-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Formal specifications, Workshop, Computer-based systems |
26 | Huaikou Miao, Ling Liu, Chuanjiang Yu, Jijun Ming, Li Li |
Z User Studio: An Integrated Support Tool for Z Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China, pp. 437-444, 2001, IEEE Computer Society, 0-7695-1408-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Z User Studio, Syntax parser, Type checker, Test cases generator, Z specifications |
26 | Huaikou Miao, Ling Liu |
A Test Class Framework for Generating Test Cases from Z Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 11-15 September 2000, Tokyo, Japan, pp. 164-171, 2000, IEEE Computer Society, 0-7695-0583-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
test class framework, object-oriented concept, test case generation system, formal specification, oracles, test data, Z specifications, test framework, TCGS |
26 | Daniel Jackson 0001, Somesh Jha, Craig Damon |
Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 20(2), pp. 302-343, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
model finding, relational specifications, model checking, formal specification, symmetry, object models, pruning, relational calculus |
26 | Bénédicte Dano, Henri Briand, Franck Barbier |
An Approach Based on the Concept of Use Case to Produce Dynamic Object-Oriented Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 3rd IEEE International Symposium on Requirements Engineering (RE'97), January 5-8, 1997, Annapolis, MD, USA, pp. 54-64, 1997, IEEE Computer Society, 0-8186-7740-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Requirements Engineering, CASE tool, Use Case, Object-oriented specifications |
26 | John M. Punshon, J. Paul Tremblay, Paul G. Sorenson, Piotr S. Findeisen |
From Formal Specifications to Natural Language: A Case Study. ![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. 309-310, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
REVIEW system, Metaview, formal specification, formal specifications, natural language, software specification, CASE environments |
26 | Agnès Arnould, Pascale Le Gall, Bruno Marre |
Dynamic Testing from Bounded Data Type Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Dependable Computing - EDCC-2, Second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996, Proceedings, pp. 285-302, 1996, Springer, 3-540-61772-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
bounded data types, test data set selection, formal specifications, software verification, functional testing |
26 | Krishna M. Kavi, Frederick T. Sheldon, Behrooz A. Shirazi, Ali R. Hurson |
Reliability analysis of CSP specifications using Petri nets and Markov processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 516-524, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
stochastic analyses, CSP-based system specifications, potential failure processes, recovery actions, user level specification, performance, formal specification, Petri nets, Petri nets, Markov processes, Markov processes, cost, functionality, system recovery, safety-critical software, failure analysis, reliability analysis, communicating sequential processes, user needs |
26 | Joseph E. Urban, Hankyu Joo |
Executable specifications for distributed software systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), August 28-30, 1995, Chenju, Korea, Proceedings, pp. 257-265, 1995, IEEE Computer Society, 0-8186-7125-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
front-end life cycle, upper CASE aspects, core software requirements, management component, distributed development teams, techniques/tools component, specification language development, formal specification, Petri nets, distributed algorithms, distributed computing, software development, temporal logic, distributed processing, specification languages, computer aided software engineering, executable specifications, distributed software systems |
26 | Lloyd G. Williams |
Assessment of Safety-Critical Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 11(1), pp. 51-60, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
safety-critical system specifications, specification ambiguity, software cost reduction method, Vienna Definition Method, semantic capabilities, assessment criteria, formal specification, formal methods, formal verification, formal verification, software reliability, safety, software cost estimation, understandability, VDM, Vienna development method |
26 | Giancarlo Nota, Giuliano Pacini |
Querying of Executable Software Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(8), pp. 705-716, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
executable software specifications, requirements specification phase, external events, language RSQ, RSF, formal specification, query languages, specification languages, specification languages, querying, rapid prototyping, software designer, time constraints, software prototyping |
26 | David H. Pitt, David Freestone |
The Derivation of Conformance Tests from LOTOS Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(12), pp. 1337-1343, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
formal description technique LOTOS, International Standards Organization, basic LOTOS operators, theoretical notion, canonical testers, finite test suites, test suite design, formal specification, protocols, standards, communication protocols, open systems, formal languages, conformance tests, conformance testing, OSI, protocol specifications, test processes |
26 | Michela Degl'Innocenti, Gian-Luigi Ferrari 0002, Giuliano Pacini, Franco Turini |
RSF: A Formalism for Executable Requirement Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(11), pp. 1235-1246, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
RSF, executable requirement specifications, occurrence times, logic programming, queries, rapid prototyping, events, time constraints, formalism, software prototyping, answers, transition rules |
25 | Lan Lin, Jesse H. Poore |
Pushing requirements changes through to changes in specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. China ![In: Frontiers Comput. Sci. China 2(4), pp. 331-343, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
requirements change management, sequence-based software specification, changing state machine diagrams, automaton, Mealy machine |
25 | Lei Ju 0001, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty |
Performance debugging of Esterel specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2008, Atlanta, GA, USA, October 19-24, 2008, pp. 173-178, 2008, ACM, 978-1-60558-470-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Esterel, WCET analysis, synchronous programming |
25 | Yao Jun-feng, Shi Ying, Wen-jie Yuan, Ye Peng, Luo Ju-bo, Jia Xiang-Yang |
A Framework of Reflective Mechanism for Supporting OWL-S Requirements Specifications Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (2) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China, pp. 288-291, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Lan Lin, Jesse H. Poore |
Pushing Requirements Changes through to Changes in Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China, pp. 289-296, 2008, IEEE Computer Society, 978-0-7695-3249-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Requirements change management, sequence-based specification, changing state diagrams, automaton, Mealy machine |
25 | Gary T. Leavens, Peter Müller 0001 |
Information Hiding and Visibility in Interface Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, pp. 385-395, 2007, IEEE Computer Society, 0-7695-2828-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Nikolai Tillmann, Feng Chen 0006, Wolfram Schulte |
Discovering Likely Method Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, pp. 717-736, 2006, Springer, 3-540-47460-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Sarfraz Khurshid, Muhammad Zubair Malik, Engin Uzuncaova |
An Automated Approach for Writing Alloy Specifications Using Instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006, pp. 449-457, 2006, IEEE Computer Society, 978-0-7695-3071-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Yi Huang, Dennis Gannon |
A Flexible and Efficient Approach to Reconcile Different Web Services-based Event Notification Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2006 IEEE International Conference on Web Services (ICWS 2006), 18-22 September 2006, Chicago, Illinois, USA, pp. 735-742, 2006, IEEE Computer Society, 0-7695-2669-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 15043 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|