The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase specification languages (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1961-1983 (16) 1984-1988 (29) 1989-1990 (28) 1991-1992 (30) 1993 (31) 1994 (24) 1995 (35) 1996 (21) 1997 (21) 1998 (17) 1999 (28) 2000 (43) 2001 (19) 2002 (33) 2003 (23) 2004 (36) 2005 (41) 2006 (38) 2007 (28) 2008 (24) 2009 (26) 2010-2014 (17) 2015-2019 (15) 2020-2022 (5)
Publication types (Num. hits)
article(165) book(1) incollection(9) inproceedings(446) phdthesis(6) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1614 occurrences of 811 keywords

Results
Found 628 publication records. Showing 628 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
76Egidio Astesiano, Maura Cerioli Multiparadigm Specification Languages: A First Attempt at Foundations. Search on Bibsonomy Semantics of Specification Languages The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
76Rix Groenboom, Gerard R. Renardel de Lavalette Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and Modification. Search on Bibsonomy Semantics of Specification Languages The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
62D. J. Andrews, Jan Friso Groote, Cornelis A. Middelburg (eds.) Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 Search on Bibsonomy Semantics of Specification Languages The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
62Peter Gorm Larsen Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL. Search on Bibsonomy Semantics of Specification Languages The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
62T. B. Dinesh Type-Checking Revisited: Modular Error-Handling. Search on Bibsonomy Semantics of Specification Languages The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
62Michael Schenke A Timed Specification Language for Concurrent Reactive Systems. Search on Bibsonomy Semantics of Specification Languages The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
62Gerard R. Renardel de Lavalette From Implicit via Inductive to Explicit Definitions. Search on Bibsonomy Semantics of Specification Languages The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
62Stephan Kleuker Case Study: Stepwise Development of a Communication Processor Using Trace Logic. Search on Bibsonomy Semantics of Specification Languages The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
62Loe M. G. Feijs An Overview of the Development of COLD. Search on Bibsonomy Semantics of Specification Languages The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
62John S. Fitzgerald, R. Moore Experiences in Developing a Proof Theory for VDM Specifications. Search on Bibsonomy Semantics of Specification Languages The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
62Hans Toetenel Loose Real-Time Communicating Agents. Search on Bibsonomy Semantics of Specification Languages The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
62Gerard R. Renardel de Lavalette The Static Part of the Design Language COLD-K. Search on Bibsonomy Semantics of Specification Languages The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
62Stefan Kahrs, Donald Sannella, Andrzej Tarlecki The Semantics of Extended ML: A Gentle Introduction. Search on Bibsonomy Semantics of Specification Languages The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
62Stephen Brien The Development of Z. Search on Bibsonomy Semantics of Specification Languages The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
62Jan Friso Groote, Alban Ponse Proof Theory for µCRL: A Language for Processes with Data. Search on Bibsonomy Semantics of Specification Languages The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
62Bart Botma Rendez-vous with Bundle Event Structures. Search on Bibsonomy Semantics of Specification Languages The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
62M. P. A. Sellink Verifying Process Algebra Proofs in Type Theory. Search on Bibsonomy Semantics of Specification Languages The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
62Flemming M. Damm, Bo Stig Hansen Generation of Proof Obligations for Type Consistency. Search on Bibsonomy Semantics of Specification Languages The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
62Robert Milne The Formal Basis for the RAISE Specification Language. Search on Bibsonomy Semantics of Specification Languages The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
62Djamel-Eddine Saïdouni, Jean-Pierre Courtiat Syntactic Action Refinement in Presence of Multiway Synchronization. Search on Bibsonomy Semantics of Specification Languages The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
49Martin D. Fraser, Kuldeep Kumar, Vijay K. Vaishnavi Informal and Formal Requirements Specification Languages: Bridging the Gap. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF informal languages, requirements specification languages, rule-based method, payroll system, payroll data processing, formal specification, specification languages, systems analysis, formal languages, formal languages, structured analysis, VDM, Vienna development method
44WoonKiong Tan A semantic model of a small typed functional language using Object-Z. Search on Bibsonomy APSEC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF typed functional language, Object-Z notation, object-oriented procedural languages, programming languages, specification languages, specification languages, object-oriented languages, abstract data types, object-oriented methods, functional languages, denotational semantics, semantic model, programming language semantics, meta-language
44Aki Watanabe, Ken Sakamura A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards. Search on Bibsonomy ICSE The full citation details ... 1996 DBLP  BibTeX  RDF ITRON2 real time multi task operating system specification, SBATCG method, abstract state transitions, commercially available ITRON2 implementations, fault exposure abilities, open operating system standards, specification based adaptive test case generation strategy, real-time systems, formal specification, specification languages, program testing, open systems, templates, Z, operating systems (computers), multiprogramming, integration testing, mutation analysis, Z notation, software standards, formal specification languages, model based specification, fault detecting ability, internal structure
43Edgar G. Daylight, Sandeep K. Shukla On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF adaptability, non-functional requirements, formal specification languages, local reasoning
41Nancy G. Leveson Experiences in Designing and Using Formal Specification Languages for Embedded Control Software. Search on Bibsonomy HSCC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
41Ted J. Biggerstaff Factored Specifications In The Synthesis Of LISP Functions. Search on Bibsonomy ACM Annual Conference (1) The full citation details ... 1978 DBLP  DOI  BibTeX  RDF Automatic program synthesis, Factored specifications, LISP programs, LISP, Program specification
38Mohammad Zulkernine, Mathew Graves, Muhammad Umair Ahmed Khan Integrating software specifications into intrusion detection. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Software specification languages, Intrusion detection, State machines, Attack scenarios
37Giancarlo Nota, Giuliano Pacini Querying of Executable Software Specifications. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
34Robert Balzer, Neil M. Goldman Principles of good software specification and their implications for specification languages. Search on Bibsonomy AFIPS National Computer Conference The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
34Pam Binns, Steve Vestal Architecture specifications for complex real-time dependable systems. Search on Bibsonomy ICECCS The full citation details ... 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
34Adrian Pop, Peter Fritzson MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language. Search on Bibsonomy JMLC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Chris Matthews, Paul A. Swatman Fuzzy concepts and formal methods: some illustrative examples. Search on Bibsonomy APSEC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF fuzzy concepts, problem types, fuzzy logic toolkit, problem domains, soft preconditions, linguistically quantified propositions, modelling, formal specification, formal methods, fuzzy logic, information systems, requirements engineering, uncertainty, specification languages, specification languages, formal modelling, fuzzy set theory, fuzzy set theory, uncertainty handling, fuzzy relations, system requirements, imprecision, Z language
32Xiaoping Jia An approach to animating Z specifications. Search on Bibsonomy COMPSAC The full citation details ... 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
32Shiu-Kai Chin, John Faust, Joseph Giordano Integrating formal methods tools to support system design. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF formal methods tools integration, top-level process descriptions, gate-level hardware designs, simulators, formal specification, system design, specification languages, specification languages, systems analysis, system engineering, theorem-provers, computer-aided design tools, model checkers
32Andrew U. Frank, Werner Kuhn Specifying Open GIS with Functional Languages. Search on Bibsonomy SSD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
32Dieter Nazareth The Semantic Treatment of Polymorphic Specification Languages. Search on Bibsonomy ALP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF polymorphic type system, algebraic semantics, axiomatic specification
32Bernd Mahr, Johann A. Makowsky Characterizing Specification Languages Which Admit Initial Semantics. Search on Bibsonomy CAAP The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
31Christoph M. Kirchsteiger, Christoph Trummer, Christian Steger, Reinhold Weiss, Markus Pistauer Specification-based Verification of Embedded Systems by Automated Test Case Generation. Search on Bibsonomy DIPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen, Yde Venema, Mark Willems A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF update logics, knowledge-based systems, dynamics, Specification languages, inference control
31M. Cecilia Bastarrica, Steven A. Demurjian, Alexander A. Shvartsman Comprehensive Specification of Distributed Systems Using I5 and IOA. Search on Bibsonomy SCCC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF distributed systems specification, incompatible components, IOA formal language, I5 specification framework, architectural definition, semantic specification, software architecture, formal specification, standardization, distributed processing, specification languages, specification language, communication protocols, configuration management, configuration management
29Óscar Corcho, Asunción Gómez-Pérez A Roadmap to Ontology Specification Languages. Search on Bibsonomy EKAW The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
29Bernhard Beckert, Kerry Trentelman Second-Order Principles in Specification Languages for Object-Oriented Programs. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Bard Bloom Structured Operational Semantics as a Specification Language. Search on Bibsonomy POPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
28Jeremy E. Dawson Compound monads in specification languages. Search on Bibsonomy PLPV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF angelic choice, compound monads, demonic choice, distributive law for monads, extended substitutions, specification languages, generalised substitutions
28Gary T. Leavens, Tim Wahls, Albert L. Baker Formal Semantics for SA Style Data Flow Diagram Specification Languages. Search on Bibsonomy SAC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF semantics of formal specification languages, concurrency, refinement, structured analysis, data flow diagram
27Valery N. Agafonov From Specification Languages to Specification Knowledge Bases: The PTO Approach. Search on Bibsonomy MFCS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
27Martin C. Henson, Steve Reeves Revising Z: Part II - Logical Development. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Specification language Z, Logics of specification languages, Semantics of specification languages
27Martin C. Henson, Steve Reeves Revising Z: Part I - Logic and Semantics. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Specification language Z, Logics of specification languages, semantics of specification languages
27Alexander Borgida, John Mylopoulos, Raymond Reiter "...And Nothing Else Changes": The Frame Problem in Procedure Specifications. Search on Bibsonomy ICSE The full citation details ... 1993 DBLP  BibTeX  RDF semantics of specification languages, formal specifications, inheritance, formal specification languages, proof obligations
27Luqi, Valdis Berzins, Raymond T. Yeh A Prototyping Language for Real-Time Software. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF prototyping language, PSDL, nonprocedural control constraints, operator abstractions, real-time systems, real-time systems, embedded systems, data structures, specification languages, specification languages, software reusability, requirements analysis, timing constraints, data abstractions, real-time software, reusable software components, feasibility studies
27Masaki Nakamura 0001, Kokichi Futatsugi On Equality Predicates in Algebraic Specification Languages. Search on Bibsonomy ICTAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Marius C. Bujorianu Integration of Specification Languages Using Viewpoints. Search on Bibsonomy IFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Language integration, process algebra, Z, type theory, viewpoints, category theory
27Albertas Caplinskas, Audrone Lupeikiene, Olegas Vasilecas A Framework to Analyse and Evaluate Information Systems Specification Languages. Search on Bibsonomy ADBIS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Nancy G. Leveson, Mats Per Erik Heimdahl, Jon Damon Reese Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
27Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright Parameter Passing in Algebraic Specification Languages. Search on Bibsonomy Program Specification The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
27Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes Applying Formal Specification in Industry. Search on Bibsonomy IEEE Softw. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
26Tevfik Bultan Action Language: a specification language for model checking reactive systems. Search on Bibsonomy ICSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF model checking, specification languages, reactive systems
26Silvia Clerici, Fernando Orejas GSBL: An Algebraic Specification Language Based on Inheritance. Search on Bibsonomy ECOOP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF genericity, specification languages, inheritance, Algebraic specification
24Amir A. Khwaja, Joseph E. Urban The State of Executable Real-Time Specification Languages and the Need for Advancements. Search on Bibsonomy ISORC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Real-time features coverage, syntactic difficulty, intertwining implementation, Real-time, executable specifications
24Mathew Graves, Mohammad Zulkernine Bridging the gap: software specification meets intrusion detector. Search on Bibsonomy PST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF attack languages, intrusion detection, software security, software specification
24Anne Mauboussin, H. Perdrix, Michel Bidoit, Marie-Claude Gaudel, Jacques Hagelstein From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study. Search on Bibsonomy Algebraic Methods The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
24Christian Dax, Felix Klaedtke, Stefan Leue Specification Languages for Stutter-Invariant Regular Properties. Search on Bibsonomy ATVA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Ludo Cuypers Specification Languages and Their Implementations. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Lotos
24C. K. Chang, John W. Brackett, A. M. Davis, P. C. Grabon, T. Haizuka, P. Hsia Specification languages-assessment and trends. Search on Bibsonomy ICCL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
24Mohammad Feroz Raihan, Mohammad Zulkernine Detecting Intrusions Specified in a Software Specification Language. Search on Bibsonomy COMPSAC (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Ted L. Briggs, John Werth A Specification Language for Object-Oriented Analysis and Design. Search on Bibsonomy ECOOP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Object Types, Message-Passing, Specification Language, Object-Oriented Design, Object-Oriented Analysis, Object-Oriented Specification
24Marc K. Zimmerman, Kristina Lundqvist, Nancy G. Leveson Investigating the readability of state-based formal requirements specification languages. Search on Bibsonomy ICSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
23Jay Ligatti, Billy Rickey, Nalin Saigal LoPSiL: A Location-Based Policy-Specification Language. Search on Bibsonomy MobiSec The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Policy-specification languages, location-dependent policies, mobile devices, security and privacy
23Prasanna Thati, Carolyn L. Talcott, Gul Agha Techniques for Executing and Reasoning about Specification Diagrams. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Graphical specification languages, may testing, trace equivalence, rewriting logic, calculus
23Arcot Sowmya, S. Ramesh 0001 Extending Statecharts with Temporal Logic. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF FNLOG, real-time, formal specifications, robotics, Concurrency, temporal logic, specification languages, statecharts, reactive systems, state-machines
22Peter D. Mosses CoFI: The Common Framework Initiative for Algebraic Specification and Development. Search on Bibsonomy TAPSOFT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
22Jeannette M. Wing Writing Larch Interface Language Specifications. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF Larch
22Hans Langmaack On Revival of Algol-Concepts in Modern Programming and Specification Languages. Search on Bibsonomy Formal Methods and Hybrid Real-Time Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF block concept, formal procedure, structural simulation, Abstract State Machine ASM, recursive procedure and rule, Java, verification, semantics, Programming language, specification language, object, Algol, class
22Sandrine Duflos, Gladys Diaz, Valérie Gay, Eric Horlait A Comparative Study of Policy Specification Languages for Secure Distributed Applications. Search on Bibsonomy DSOM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
22Jingwen Jin, Klara Nahrstedt QoS Specification Languages for Distributed Multimedia Applications: A Survey and Taxonomy. Search on Bibsonomy IEEE Multim. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
22Lichen Zhang, Lihua Wang Aspect-oriented formal specification for multimedia systems. Search on Bibsonomy AICCSA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Pierluigi San Pietro, Angelo Morzenti, Sandro Morasca Generation of Execution Sequences for Modular Time Critical Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF time critical systems, modular notations, formal specifications, Functional testing, structural testing, specification testing
21Max E. Kramer Specification Languages for Preserving Consistency between Models of Different Languages. Search on Bibsonomy 2017   RDF
21Martin Wirsing Specification Languages versus Programming Languages (Panel). Search on Bibsonomy IFIP Congress The full citation details ... 1986 DBLP  BibTeX  RDF
21Olivier Roubine Specification Languages versus Programming Languages (Panel). Search on Bibsonomy IFIP Congress The full citation details ... 1986 DBLP  BibTeX  RDF
21Koichi Furukawa Specification Languages versus Programming Languages (Panel). Search on Bibsonomy IFIP Congress The full citation details ... 1986 DBLP  BibTeX  RDF
21Saul Gorn Specification languages for mechanical languages and their processors a baker's dozen: a set of examples presented to ASA x3.4 subcommittee. Search on Bibsonomy Commun. ACM The full citation details ... 1961 DBLP  DOI  BibTeX  RDF
21Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller 0001, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump Roadmap for enhanced languages and methods to aid verification. Search on Bibsonomy GPCE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF verified software grand challenge, verification, annotations, programming languages, tools, specification languages, program generation, correctness by construction
21Silvie Spreeuwenberg, Rik Gerrits Business Rules in the Semantic Web, Are There Any or Are They Different? Search on Bibsonomy Reasoning Web The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Rule standards, Reasoning languages, Semantic Web, Specification languages, Business rules, SBVR
21Jonathan Billington, Geoffrey R. Wheeler, Michael C. Wilbur-Ham PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF PROTEAN, high-level Petri net tool, numerical Petri nets, textual interfaces, exhaustive reachability analysis, directed graph analysis, engineering workstation, verification, protocols, specification, software tools, finite state machines, specification languages, directed graphs, communication protocols, finite automata, graphical interfaces, interactive simulation
20Jin Song Dong From semantic web to expressive software specifications: a modeling languages spectrum. Search on Bibsonomy ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Carol Britton, Sara Jones 0001, Maria Kutar, Martin J. Loomes, Brian Robinson Evaluating the Intelligibility of Diagrammatic Languages Used in the Specification of Software. Search on Bibsonomy Diagrams The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
19Chia-Chu Chiang, Roger Y. Lee Formal Verification of Structured Analysis and Design in HOS. Search on Bibsonomy SERA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Frank Vahid, Sanjiv Narayan, Daniel D. Gajski SpecCharts: a VHDL front-end for embedded systems. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
19Thomas Baar OCL and Graph-Transformations - A Symbiotic Alliance to Alleviate the Frame Problem. Search on Bibsonomy MoDELS (Satellite Events) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF OCL, Graph Grammars, Design by Contract, QVT, Behavior Specification
19Takahiro Seino, Kazuhiro Ogata 0001, Kokichi Futatsugi Supporting Case Analysis with Algebraic Specification Languages. Search on Bibsonomy CIT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
19Steven Bradley, William Henderson, David Kendall, Adrian Robson Integrating AORTA with Model-Based Data Specification Languages. Search on Bibsonomy FASE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
19Pierpaolo Degano, Ugo Montanari Specification Languages for Distributed Systems. Search on Bibsonomy TAPSOFT, Vol.1 The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
19Perry Alexander, Murali Rangarajan, Phillip Baraona A Brief Summary of VSPEC. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF VHDL, languages, systems level design, notations, Larch
19Oscar Pastor 0001, Vicente Pelechano, Begoña Bonet, Isidro Ramos An Object Oriented Methodological Approach for Making Automated Prototyping Feasible. Search on Bibsonomy DEXA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
19Tim Miller, Paul A. Strooper Combining the Animation and Testing of Abstract Data Types. Search on Bibsonomy APAQS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
18Robert F. Stärk, Stanislas Nanchen A Logic for Abstract State Machines. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF logical foundations of specification languages, modal logic, dynamic logic, Abstract State Machines
17Naixiao Zhang, Ying Liu A Component-Based Framework and Reusability in Garment. Search on Bibsonomy APSEC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
17Reidar Conradi, Maria Letizia Jaccheri Process Modelling Languages. Search on Bibsonomy Software Process: Principles, Methodology, Technology The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
17John Boyland, Dave Clarke 0001, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter Formal Techniques for Java-Like Programs. Search on Bibsonomy ECOOP Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 628 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license