The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Specifications with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1954-1965 (15) 1966-1971 (15) 1972-1974 (20) 1975-1976 (17) 1977 (21) 1978 (18) 1979 (40) 1980 (23) 1981 (37) 1982 (55) 1983 (58) 1984 (66) 1985 (63) 1986 (88) 1987 (141) 1988 (160) 1989 (166) 1990 (167) 1991 (208) 1992 (231) 1993 (261) 1994 (272) 1995 (303) 1996 (309) 1997 (315) 1998 (371) 1999 (446) 2000 (520) 2001 (529) 2002 (670) 2003 (697) 2004 (839) 2005 (950) 2006 (997) 2007 (989) 2008 (895) 2009 (678) 2010 (324) 2011 (244) 2012 (227) 2013 (224) 2014 (235) 2015 (211) 2016 (219) 2017 (176) 2018 (244) 2019 (216) 2020 (238) 2021 (257) 2022 (261) 2023 (258) 2024 (59)
Publication types (Num. hits)
article(3500) book(20) data(1) incollection(103) inproceedings(11174) phdthesis(227) proceedings(18)
Venues (Conferences, Journals, ...)
CoRR(482) IEEE Trans. Software Eng.(189) DATESO(185) ICSE(127) ASE(110) APSEC(108) CDC(100) RE(95) DATE(92) ICFEM(92) DAC(91) IEEE Trans. Comput. Aided Des....(91) SAC(91) FME(82) CAV(77) FASE(73) More (+10 of total 2873)
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
47Noah Pywes, Paul Rehmet Recovery of Software Design, State-Machines, and Specifications from Source Code. Search on Bibsonomy ICECCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF hierarchical software architecture, specifications entities, software engineering, specifications, software design, source code, state-machines
44Akio Nakata, Teruo Higashino, Kenichi Taniguchi Protocol synthesis from timed and structured specifications. Search on Bibsonomy ICNP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF LOTOS/T+, Presburger formulas, parallelism, protocols, specification languages, synchronisation, interruption, time-constraints, service specifications, protocol specifications, bisimulation equivalent
43Núria Castell, Àngels Hernández Knowledge Management in the Sarel System. Search on Bibsonomy DEXA Workshops The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Sarel system, specification phase, Assistance System for Writing Software Specifications in Natural Language, knowledge based tool, natural language software specifications, linguistic engineering tools, preliminary software specifications, knowledge base construction, background information, requirements section, requirements base, formal specification, knowledge management, software development process
42Donald Sannella, Andrzej Tarlecki On Normal Forms for Structured Specifications with Generating Constraints. Search on Bibsonomy Graph Transformation, Specifications, and Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
42Haim Kilov, Allan Ash On the Structure of Convincing Specifications. Search on Bibsonomy Behavioral Specifications of Businesses and Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
42Bhed Bahadur Bista, Y. Ujiie, K. Furuya, Kaoru Takahashi, Norio Shiratori Support System for Constructing Communication Services and Protocols Based on Compositional Approach. Search on Bibsonomy DEXA Workshops The full citation details ... 2000 DBLP  DOI  BibTeX  RDF communication service design, communication protocol design, compositional approach, sequential composition, protocols, LOTOS, service specifications, protocol specifications, parallel composition
41Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard Generating optimized code from SCR specifications. Search on Bibsonomy LCTES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF optimization, formal specifications, code generation, requirements specifications, SCR, code synthesis
41Chia-Chu Chiang An Introduction to TUG: A Language for Writing Reusable Formal Program Specifications. Search on Bibsonomy ITCC (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Generic Specifications, Reusable Specifications, Software Reuse and TUG, Formality
40Adel Bouhoula Simultaneous checking of completeness and ground confluence for algebraic specifications. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ground confluence, completeness, algebraic specifications, parameterization, term rewriting systems, Automated deduction
40Mark Gabel, Zhendong Su 0001 Symbolic mining of temporal specifications. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF formal specifications, dynamic analysis, specification mining
40Glenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus Debugging temporal specifications with concept analysis. Search on Bibsonomy PLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF specification debuggers, hierarchical clustering, concept analysis, temporal specifications
40Gregory V. Chockler, Idit Keidar, Roman Vitenberg Group communication specifications: a comprehensive study. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF partitionable group membership, process group membership, specifications of group communication systems, view synchrony, Group communication systems, virtual synchrony
40Bert O. de Brock Declarative Specifications of Complex Transactions. Search on Bibsonomy FMLDO - Selected Papers The full citation details ... 1999 DBLP  DOI  BibTeX  RDF transaction design, database dynamics, declarative specifications of database behavior, (static and dynamic) integrity constraints, (allowable versus available) transitions, cascading deletes, adaptations, semantics, Transactions, transaction models
39Noriaki Yoshiura Finding the Causes of Unrealizability of Reactive System Formal Specifications. Search on Bibsonomy SEFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
39Noriaki Yoshiura Decision Procedures for Several Properties of Reactive System Specifications. Search on Bibsonomy ISSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Specification Description, Temporal Logic, Reactive System
38Nancy G. Leveson Intent Specifications: An Approach to Building Human-Centered Specifications. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF human-centered specifications, means-ends hierarchy, Requirements, software evolution, requirements specification, safety-critical software, cognitive engineering
38Kei Karasawa, Makoto Iwata, Hiroaki Terada Direct Generation of Data-Driven Program for Stream-Oriented Processing. Search on Bibsonomy IEEE PACT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Parallel processing system specifications, Multiple data streams, Direct program generation, Data-driven paradigm, HDTV signal decoder
37Thomas Memmel, Jean Vanderdonckt, Harald Reiterer Multi-fidelity User Interface Specifications. Search on Bibsonomy DSV-IS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF formal and informal specifications, specification of interactive systems, Collaborative design, user interface specifications, usability requirements
37Elizabeth I. Leonard, Constance L. Heitmeyer Program Synthesis from Formal Requirements Specifications Using APTS. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF APTS, formal specifications, program transformation, code generation, requirements specifications, SCR, code synthesis
37Lamia Labed Jilani, Jules Desharnais, Ali Mili 0001 Defining and Applying Measures of Distance Between Specifications. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF relational specifications, Formal specifications, lattices, relations, software libraries, distance metrics, software adaptation, COTS integration
36Iman Poernomo, John N. Crossley, Martin Wirsing Programs, Proofs and Parametrized Specifications. Search on Bibsonomy WADT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Parametrized specifications, CASL, SML, Curry-Howard isomorphism
36Axel van Lamsweerde, Laurent Willemet Inferring Declarative Requirements Specifications from Operational Scenarios. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Scenario-based requirements elicitation, inductive inference of specifications, specification refinement and analysis, goal-oriented requirements engineering, lightweight formal methods
35Hao Zhong 0001, Lu Zhang 0023, Hong Mei 0001 Early Filtering of Polluting Method Calls for Mining Temporal Specifications. Search on Bibsonomy APSEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Mark Minas AGTIVE'03: Summary from the Viewpoint of Graph Transformation Specifications. Search on Bibsonomy AGTIVE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
35Martin Große-Rhode, Hartmut Ehrig Transformation of Combined Data Type and Process Specifications Using Projection Algebras. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Projection Specification, Projection Algebra (Continuous Algebra), Parameterized Projection Specification, Horizontal and Vertical Operations, R-Implementation, Refinement
35Kim Guldstrand Larsen Modal Specifications. Search on Bibsonomy Automatic Verification Methods for Finite State Systems The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
35Ondrej Rysavý, Jaroslav Ráb A formal model of composing components: the TLA+ approach. Search on Bibsonomy Innov. Syst. Softw. Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Composing specifications, Synchronous mode of executions, Temporal logic of actions, Component model, Hierarchical specifications
35Robert L. Baber, David Lorge Parnas, Sergiy A. Vilkomir, Paul Harrison, Tony O'Connor Disciplined Methods of Software Specification: A Case Study. Search on Bibsonomy ITCC (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF tabular specifications, trace specifications, software, finite state machine, traces
35Z. P. Tao, Gregor von Bochmann, Rachida Dssouli An efficient method for protocol conversion. Search on Bibsonomy ICCCN The full citation details ... 1995 DBLP  DOI  BibTeX  RDF optimized protocol converters, heterogeneous computer networks, message sequences, deterministic service specification, modified channel specifications, internetworking system, protocols, interoperability, efficient algorithm, protocol specifications, observation equivalence, protocol conversion
35Driss Sadoun Des spécifications en langage naturel aux spécifications formelles via une ontologie comme modèle pivot. (From natural language specifications to formal specifications via an ontology as a pivot model). Search on Bibsonomy 2014   RDF
34Mark Gabel, Zhendong Su 0001 Javert: fully automatic mining of general temporal properties from dynamic traces. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF formal specifications, dynamic analysis, specification mining
34Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath Formal automated transformation of SDL specifications to Lotos specifications. Search on Bibsonomy ISCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Andreas Bollin Maintaining Formal Specifications - Decomposition of Large Z-Specifications. Search on Bibsonomy ICSM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Yongzhong Tu, Wei-Tek Tsai, Yang Xiang Specifying Constraints with Message Sequence Specifications. Search on Bibsonomy APSEC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF sequence specifications, Object-oriented testing, constraint specifications
34Willem C. Mallon, Jan Tijmen Udding Using Metrics for Proof Rules for Recursively Defined Delay-insensitive Specifications. Search on Bibsonomy ASYNC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF delay-insensitive specifications, recursive definition, linear proofs, intuitive induction rule, algebraic specification, algebraic specifications, theorem provers, correctness proofs, proof rules, proof rule
34Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh Inconsistency Handling in Multperspective Specifications. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF multiperspective specifications, logical rules, formal specification, specifications, specification, data integrity, temporal logic, temporal logic, distributed processing, process modeling, complex systems, development, ViewPoints, distributed development, first order predicate logic, multiple perspectives, inconsistency handling
33Reiko Heckel, Gabriele Taentzer (eds.) Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig Search on Bibsonomy Graph Transformation, Specifications, and Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
33Guilherme Grochau Azzi, Jonas Santos Bezerra, Leila Ribeiro 0001, Andrei Costa, Leonardo Marques Rodrigues, Rodrigo Machado The Verigraph System for Graph Transformation. Search on Bibsonomy Graph Transformation, Specifications, and Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
33Barbara König 0001, Dennis Nolte, Julia Padberg, Arend Rensink A Tutorial on Graph Transformation. Search on Bibsonomy Graph Transformation, Specifications, and Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
33Detlef Plump Modular Termination of Graph Transformation. Search on Bibsonomy Graph Transformation, Specifications, and Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
33Dániel Varró, Oszkár Semeráth, Gábor Szárnyas, Ákos Horváth 0001 Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models. Search on Bibsonomy Graph Transformation, Specifications, and Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
33Andrea Corradini 0001, Dominique Duval, Michael Löwe, Leila Ribeiro 0001, Rodrigo Machado, Andrei Costa, Guilherme Grochau Azzi, Jonas Santos Bezerra, Leonardo Marques Rodrigues On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches. Search on Bibsonomy Graph Transformation, Specifications, and Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
33Uwe Wolter, Zinovy Diskin, Harald König Graph Operations and Free Graph Algebras. Search on Bibsonomy Graph Transformation, Specifications, and Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
33Annegret Habel, Christian Sandmann, Tilman Teusch Integration of Graph Constraints into Graph Grammars. Search on Bibsonomy Graph Transformation, Specifications, and Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
33Harmen Kastenberg, Arend Rensink Graph Attribution Through Sub-Graphs. Search on Bibsonomy Graph Transformation, Specifications, and Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
33Ugo Montanari, Matteo Sammartino, Alain Tcheukam Siwe Decomposition Structures for Soft Constraint Evaluation Problems: An Algebraic Approach. Search on Bibsonomy Graph Transformation, Specifications, and Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
33Alexander Knapp, Till Mossakowski Multi-view Consistency in UML: A Survey. Search on Bibsonomy Graph Transformation, Specifications, and Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
33Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye A Simple Notion of Parallel Graph Transformation and Its Perspectives. Search on Bibsonomy Graph Transformation, Specifications, and Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
33Michael Löwe Model Transformations as Free Constructions. Search on Bibsonomy Graph Transformation, Specifications, and Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
33Leen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino Towards a Navigational Logic for Graphical Structures. Search on Bibsonomy Graph Transformation, Specifications, and Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
33Leen Lambers, Kristopher Born, Fernando Orejas, Daniel Strüber 0001, Gabriele Taentzer Initial Conflicts and Dependencies: Critical Pairs Revisited. Search on Bibsonomy Graph Transformation, Specifications, and Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
33Julia Padberg, Laïd Kahloul Overview of Reconfigurable Petri Nets. Search on Bibsonomy Graph Transformation, Specifications, and Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
33John L. Pfaltz A Category of "Undirected Graphs" - A Tribute to Hartmut Ehrig. Search on Bibsonomy Graph Transformation, Specifications, and Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
33Jack Hassall, John Eaton Applying ISO RM-ODP in the Specification of CORBA® Interfaces and Semantics to General Ledger Systems. Search on Bibsonomy Behavioral Specifications of Businesses and Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Shusaku Iida, Kokichi Futatsugi, Razvan Diaconescu Component-Based Algebraic Specification. Search on Bibsonomy Behavioral Specifications of Businesses and Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Mark A. Shafer Using Information Modeling to Define Business Requirements. Search on Bibsonomy Behavioral Specifications of Businesses and Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Angelo E. Thalassinidis, Ira Sack On the Specification of the Business and Economic Foundations of Electronic Commerce. Search on Bibsonomy Behavioral Specifications of Businesses and Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Roel J. Wieringa Embedding Object-Oriented Design in System Engineering. Search on Bibsonomy Behavioral Specifications of Businesses and Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Gary T. Leavens, Albert L. Baker, Clyde Ruby JML: A Notation for Detailed Design. Search on Bibsonomy Behavioral Specifications of Businesses and Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33James J. Odell Agents: Between Order and Chaos. Search on Bibsonomy Behavioral Specifications of Businesses and Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Zinovy Diskin, Boris Kadish, Frank Piessens What vs. How of Visual Modeling: The Arrow Logic of Graphic Notations. Search on Bibsonomy Behavioral Specifications of Businesses and Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Ian Simmonds, David Ing A Layered Context Perspective on the Design of Enterprises and Information Systems. Search on Bibsonomy Behavioral Specifications of Businesses and Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Bernard Cohen Being served: The Purposes, Strengths and Limitations of Formal Service Modelling. Search on Bibsonomy Behavioral Specifications of Businesses and Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Radu Grosu, Manfred Broy, Bran Selic, Gheorghe Stefanescu What is Behind UML-RT? Search on Bibsonomy Behavioral Specifications of Businesses and Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Kevin Lano, Juan Bicarregui Formalising the UML in Structured Temporal Theories. Search on Bibsonomy Behavioral Specifications of Businesses and Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Stuart Kent 0001, Stephen Gaito, Niall Ross A Meta-Model Semantics for Structural Constraints In UML. Search on Bibsonomy Behavioral Specifications of Businesses and Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe Meta-Modelling Semantics of UML. Search on Bibsonomy Behavioral Specifications of Businesses and Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Marc Frappier, Richard St-Denis Combining JSD and Cleanroom for Object-Oriented Scenario Specification. Search on Bibsonomy Behavioral Specifications of Businesses and Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Anthony J. H. Simons, Ian Graham 30 Things that Go Wrong in Object Modelling with UML 1.3. Search on Bibsonomy Behavioral Specifications of Businesses and Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Harold Solbrig Formalizing Association Semantics In Terminologies. Search on Bibsonomy Behavioral Specifications of Businesses and Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Andy Schürr, Andreas J. Winter 0001 UML, The Future Standard Software Architecture Description Language? Search on Bibsonomy Behavioral Specifications of Businesses and Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Kenneth Baclawski, Scott A. DeLoach, Mieczyslaw M. Kokar, Jeffrey E. Smith Object-Oriented Transformation. Search on Bibsonomy Behavioral Specifications of Businesses and Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Stefano Ceri, Stefano Crespi-Reghizzi Formal Definition of Nested Relations by Syntactical Mappings. Search on Bibsonomy Specifications of Database Systems The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
33Roberto S. M. Barros, David J. Harper Formal Development of Relational Database Applications. Search on Bibsonomy Specifications of Database Systems The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
33Michael F. Worboys Database Specification using Transaction Sets. Search on Bibsonomy Specifications of Database Systems The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
33Klaus-Dieter Schewe, Ingrid Wetzel, Joachim W. Schmidt Towards a Structured Specification Language for Database Applications. Search on Bibsonomy Specifications of Database Systems The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
33Petros Bofakos, Moira C. Norrie Working Group Sessions. Search on Bibsonomy Specifications of Database Systems The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
33Gunter Saake, Ralf Jungclaus Specification of Database Applications in the TROLL Language. Search on Bibsonomy Specifications of Database Systems The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
33Cornelis A. Middelburg VVSL Specification of a Transaction-oriented Access Handler. Search on Bibsonomy Specifications of Database Systems The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
33John S. Fitzgerald Reasoning about a Modular Model-Oriented Formal Specification. Search on Bibsonomy Specifications of Database Systems The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
33W. B. Samson, A. W. Wakelin Algebraic Specification of Databases - A Survey from a Database Perspective. Search on Bibsonomy Specifications of Database Systems The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
33A. T. M. Aerts, Paul De Bra, Kees M. van Hee Transforming Functional Database Schemes to Relational Representations. Search on Bibsonomy Specifications of Database Systems The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
33Anthony Kosky A Formal Model for Databases with Applications to Schema Merging. Search on Bibsonomy Specifications of Database Systems The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
33Subrata Kumar Das Specifying Deductive Databases and Integrity Constraints in Meta-logic. Search on Bibsonomy Specifications of Database Systems The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
33David Maier 0001 Specifying a Database System to Itself. Search on Bibsonomy Specifications of Database Systems The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
33Cristina Sernadas, Paula Gouveia, João Gouveia, Amílcar Sernadas, Pedro Resende The Reification Dimension in Object-oriented Data Base Design. Search on Bibsonomy Specifications of Database Systems The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
33Catherine Hamon, Marion Créhange Object Models and Methodology for Object-Oriented Database Design. Search on Bibsonomy Specifications of Database Systems The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
33Moira C. Norrie A Specification of an Object-Oriented Data Model with Relations. Search on Bibsonomy Specifications of Database Systems The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
33Karen C. Davis, Lois M. L. Delcambre A Denotational Approach to Object-Oriented Query Language Definition. Search on Bibsonomy Specifications of Database Systems The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
33Dines Bjørner (eds.) Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings Search on Bibsonomy Abstract Software Specifications The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
33Stephen N. Zilles Introduction to Data Algebra. Search on Bibsonomy Abstract Software Specifications The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
33David Michael Ritchie Park On the Semantics of Fair Parallelism. Search on Bibsonomy Abstract Software Specifications The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
33Heinz Zemanek Banquet Talk. Search on Bibsonomy Abstract Software Specifications The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
33Dines Bjørner Formalization of Data Base Models. Search on Bibsonomy Abstract Software Specifications The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
33Ole-Johan Dahl Time Swquences as a Tool for Describing Program Behaviour. Search on Bibsonomy Abstract Software Specifications The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
33Cliff B. Jones Models of Programming Language Concepts. Search on Bibsonomy Abstract Software Specifications The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
33Bálint Dömölki An Example of Hierarchical Program Specification. Search on Bibsonomy Abstract Software Specifications The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
33H. Gerstmann, Alexander Ollongren Abstract Objects as Abstract Data Types. Search on Bibsonomy Abstract Software Specifications The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
33Dines Bjørner Experiments in Block-structured GOTO Modelling: exits vs. Continuations. Search on Bibsonomy Abstract Software Specifications The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
33Rod M. Burstall, Joseph A. Goguen The Semantics of CLEAR, A Specification Language. Search on Bibsonomy Abstract Software Specifications The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 15043 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license