|
|
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 |
47 | Noah Pywes, Paul Rehmet |
Recovery of Software Design, State-Machines, and Specifications from Source Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 21-25 October 1996, Montreal, Canada, pp. 279-288, 1996, IEEE Computer Society, 0-8186-7614-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
hierarchical software architecture, specifications entities, software engineering, specifications, software design, source code, state-machines |
44 | Akio Nakata, Teruo Higashino, Kenichi Taniguchi |
Protocol synthesis from timed and structured specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: 1995 International Conference on Network Protocols, ICNP 1995, November 7-10, 1995, Tokyo, Japan, pp. 74-, 1995, IEEE Computer Society, 0-8186-7216-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
LOTOS/T+, Presburger formulas, parallelism, protocols, specification languages, synchronisation, interruption, time-constraints, service specifications, protocol specifications, bisimulation equivalent |
43 | Núria Castell, Àngels Hernández |
Knowledge Management in the Sarel System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 6-8 September 2000, Greenwich, London, UK, pp. 91-95, 2000, IEEE Computer Society, 0-7695-0680-1. The full citation details ...](Pics/full.jpeg) |
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 |
42 | Donald Sannella, Andrzej Tarlecki |
On Normal Forms for Structured Specifications with Generating Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformation, Specifications, and Nets ![In: Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig, pp. 266-284, 2018, Springer, 978-3-319-75395-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Haim Kilov, Allan Ash |
On the Structure of Convincing Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Specifications of Businesses and Systems ![In: Behavioral Specifications of Businesses and Systems, pp. 141-160, 1999, Springer, 978-1-4613-7383-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
42 | Bhed 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](Pics/bibsonomy.png) |
DEXA Workshops ![In: 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 6-8 September 2000, Greenwich, London, UK, pp. 15-22, 2000, IEEE Computer Society, 0-7695-0680-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
communication service design, communication protocol design, compositional approach, sequential composition, protocols, LOTOS, service specifications, protocol specifications, parallel composition |
41 | Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard |
Generating optimized code from SCR specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'06), Ottawa, Ontario, Canada, June 14-16, 2006, pp. 135-144, 2006, ACM, 1-59593-362-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
optimization, formal specifications, code generation, requirements specifications, SCR, code synthesis |
41 | Chia-Chu Chiang |
An Introduction to TUG: A Language for Writing Reusable Formal Program Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC (2) ![In: International Symposium on Information Technology: Coding and Computing (ITCC 2005), Volume 2, 4-6 April 2005, Las Vegas, Nevada, USA, pp. 316-321, 2005, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Generic Specifications, Reusable Specifications, Software Reuse and TUG, Formality |
40 | Adel Bouhoula |
Simultaneous checking of completeness and ground confluence for algebraic specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 10(3), pp. 20:1-20:33, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ground confluence, completeness, algebraic specifications, parameterization, term rewriting systems, Automated deduction |
40 | Mark Gabel, Zhendong Su 0001 |
Symbolic mining of temporal specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp. 51-60, 2008, ACM, 978-1-60558-079-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
formal specifications, dynamic analysis, specification mining |
40 | Glenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus |
Debugging temporal specifications with concept analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003, pp. 182-195, 2003, ACM, 1-58113-662-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
specification debuggers, hierarchical clustering, concept analysis, temporal specifications |
40 | Gregory V. Chockler, Idit Keidar, Roman Vitenberg |
Group communication specifications: a comprehensive study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 33(4), pp. 427-469, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
partitionable group membership, process group membership, specifications of group communication systems, view synchrony, Group communication systems, virtual synchrony |
40 | Bert O. de Brock |
Declarative Specifications of Complex Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMLDO - Selected Papers ![In: Transactions and Database Dynamics, Eight International Workshop on Foundations of Models and Languages for Data and Objects, Schloß Dagstuhl, Germany, September 27-30, 1999, Selected Papers, pp. 150-166, 1999, Springer, 3-540-67201-X. The full citation details ...](Pics/full.jpeg) |
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 |
39 | Noriaki Yoshiura |
Finding the Causes of Unrealizability of Reactive System Formal Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China, pp. 34-43, 2004, IEEE Computer Society, 0-7695-2222-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
39 | Noriaki Yoshiura |
Decision Procedures for Several Properties of Reactive System Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Software Security - Theories and Systems, Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003, Revised Papers, pp. 154-173, 2003, Springer, 3-540-23635-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Specification Description, Temporal Logic, Reactive System |
38 | Nancy G. Leveson |
Intent Specifications: An Approach to Building Human-Centered Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 26(1), pp. 15-35, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
human-centered specifications, means-ends hierarchy, Requirements, software evolution, requirements specification, safety-critical software, cognitive engineering |
38 | Kei Karasawa, Makoto Iwata, Hiroaki Terada |
Direct Generation of Data-Driven Program for Stream-Oriented Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: Proceedings of the 1997 Conference on Parallel Architectures and Compilation Techniques (PACT '97), San Francisco, CA, USA, October 11-15, 1997, pp. 295-306, 1997, IEEE Computer Society, 0-8186-8090-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Parallel processing system specifications, Multiple data streams, Direct program generation, Data-driven paradigm, HDTV signal decoder |
37 | Thomas Memmel, Jean Vanderdonckt, Harald Reiterer |
Multi-fidelity User Interface Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers, pp. 43-57, 2008, Springer, 978-3-540-70568-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
formal and informal specifications, specification of interactive systems, Collaborative design, user interface specifications, usability requirements |
37 | Elizabeth I. Leonard, Constance L. Heitmeyer |
Program Synthesis from Formal Requirements Specifications Using APTS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 16(1-2), pp. 63-92, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
APTS, formal specifications, program transformation, code generation, requirements specifications, SCR, code synthesis |
37 | Lamia Labed Jilani, Jules Desharnais, Ali Mili 0001 |
Defining and Applying Measures of Distance Between Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 27(8), pp. 673-703, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
relational specifications, Formal specifications, lattices, relations, software libraries, distance metrics, software adaptation, COTS integration |
36 | Iman Poernomo, John N. Crossley, Martin Wirsing |
Programs, Proofs and Parametrized Specifications. ![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. 280-304, 2001, Springer, 3-540-43159-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Parametrized specifications, CASL, SML, Curry-Howard isomorphism |
36 | Axel van Lamsweerde, Laurent Willemet |
Inferring Declarative Requirements Specifications from Operational Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(12), pp. 1089-1114, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Scenario-based requirements elicitation, inductive inference of specifications, specification refinement and analysis, goal-oriented requirements engineering, lightweight formal methods |
35 | Hao Zhong 0001, Lu Zhang 0023, Hong Mei 0001 |
Early Filtering of Polluting Method Calls for Mining Temporal Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 3-5 December 2008, Beijing, China, pp. 9-16, 2008, IEEE Computer Society, 978-0-7695-3446-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Mark Minas |
AGTIVE'03: Summary from the Viewpoint of Graph Transformation Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: Applications of Graph Transformations with Industrial Relevance, Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers, pp. 491-492, 2003, Springer, 3-540-22120-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Martin Große-Rhode, Hartmut Ehrig |
Transformation of Combined Data Type and Process Specifications Using Projection Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings, pp. 301-339, 1989, Springer, 3-540-52559-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Projection Specification, Projection Algebra (Continuous Algebra), Parameterized Projection Specification, Horizontal and Vertical Operations, R-Implementation, Refinement |
35 | Kim Guldstrand Larsen |
Modal Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automatic Verification Methods for Finite State Systems ![In: Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings, pp. 232-246, 1989, Springer, 3-540-52148-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
35 | Ondrej Rysavý, Jaroslav Ráb |
A formal model of composing components: the TLA+ approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 5(2), pp. 139-148, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Composing specifications, Synchronous mode of executions, Temporal logic of actions, Component model, Hierarchical specifications |
35 | Robert L. Baber, David Lorge Parnas, Sergiy A. Vilkomir, Paul Harrison, Tony O'Connor |
Disciplined Methods of Software Specification: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC (2) ![In: International Symposium on Information Technology: Coding and Computing (ITCC 2005), Volume 2, 4-6 April 2005, Las Vegas, Nevada, USA, pp. 428-437, 2005, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
tabular specifications, trace specifications, software, finite state machine, traces |
35 | Z. P. Tao, Gregor von Bochmann, Rachida Dssouli |
An efficient method for protocol conversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), September 20-23, 1995, Las Vegas, Nevada, USA, pp. 40, 1995, IEEE Computer Society, 0-8186-7180-7. The full citation details ...](Pics/full.jpeg) |
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 |
35 | Driss 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](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
34 | Mark Gabel, Zhendong Su 0001 |
Javert: fully automatic mining of general temporal properties from dynamic traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008, pp. 339-349, 2008, ACM, 978-1-59593-995-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
formal specifications, dynamic analysis, specification mining |
34 | Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath |
Formal automated transformation of SDL specifications to Lotos specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), July 6-9, Marrakech, Morocco, pp. 519-524, 2008, IEEE Computer Society, 978-1-4244-2702-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Andreas Bollin |
Maintaining Formal Specifications - Decomposition of Large Z-Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 21st IEEE International Conference on Software Maintenance (ICSM 2005), 25-30 September 2005, Budapest, Hungary, pp. 443-452, 2005, IEEE Computer Society, 0-7695-2368-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Yongzhong Tu, Wei-Tek Tsai, Yang Xiang |
Specifying Constraints with Message Sequence Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 6th Asia-Pacific Software Engineering Conference (APSEC '99), 7-10 December 1999, Takamatsu, Japan, pp. 368-375, 1999, IEEE Computer Society, 0-7695-0509-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
sequence specifications, Object-oriented testing, constraint specifications |
34 | Willem C. Mallon, Jan Tijmen Udding |
Using Metrics for Proof Rules for Recursively Defined Delay-insensitive Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 7-10 April 1997, Eindhoven, The Netherlands, pp. 175-, 1997, IEEE Computer Society, 0-8186-7922-0. The full citation details ...](Pics/full.jpeg) |
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 |
34 | Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh |
Inconsistency Handling in Multperspective Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(8), pp. 569-578, 1994. The full citation details ...](Pics/full.jpeg) |
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 |
33 | Reiko Heckel, Gabriele Taentzer (eds.) |
Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformation, Specifications, and Nets ![Springer, 978-3-319-75395-9 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Guilherme Grochau Azzi, Jonas Santos Bezerra, Leila Ribeiro 0001, Andrei Costa, Leonardo Marques Rodrigues, Rodrigo Machado |
The Verigraph System for Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformation, Specifications, and Nets ![In: Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig, pp. 160-178, 2018, Springer, 978-3-319-75395-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Barbara König 0001, Dennis Nolte, Julia Padberg, Arend Rensink |
A Tutorial on Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformation, Specifications, and Nets ![In: Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig, pp. 83-104, 2018, Springer, 978-3-319-75395-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Detlef Plump |
Modular Termination of Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformation, Specifications, and Nets ![In: Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig, pp. 231-244, 2018, Springer, 978-3-319-75395-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Dá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](Pics/bibsonomy.png) |
Graph Transformation, Specifications, and Nets ![In: Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig, pp. 285-312, 2018, Springer, 978-3-319-75395-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Andrea 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](Pics/bibsonomy.png) |
Graph Transformation, Specifications, and Nets ![In: Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig, pp. 1-18, 2018, Springer, 978-3-319-75395-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Uwe Wolter, Zinovy Diskin, Harald König |
Graph Operations and Free Graph Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformation, Specifications, and Nets ![In: Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig, pp. 313-331, 2018, Springer, 978-3-319-75395-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Annegret Habel, Christian Sandmann, Tilman Teusch |
Integration of Graph Constraints into Graph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformation, Specifications, and Nets ![In: Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig, pp. 19-36, 2018, Springer, 978-3-319-75395-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Harmen Kastenberg, Arend Rensink |
Graph Attribution Through Sub-Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformation, Specifications, and Nets ![In: Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig, pp. 245-265, 2018, Springer, 978-3-319-75395-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Ugo Montanari, Matteo Sammartino, Alain Tcheukam Siwe |
Decomposition Structures for Soft Constraint Evaluation Problems: An Algebraic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformation, Specifications, and Nets ![In: Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig, pp. 179-200, 2018, Springer, 978-3-319-75395-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Alexander Knapp, Till Mossakowski |
Multi-view Consistency in UML: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformation, Specifications, and Nets ![In: Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig, pp. 37-60, 2018, Springer, 978-3-319-75395-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye |
A Simple Notion of Parallel Graph Transformation and Its Perspectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformation, Specifications, and Nets ![In: Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig, pp. 61-82, 2018, Springer, 978-3-319-75395-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Michael Löwe |
Model Transformations as Free Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformation, Specifications, and Nets ![In: Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig, pp. 142-159, 2018, Springer, 978-3-319-75395-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Leen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino |
Towards a Navigational Logic for Graphical Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformation, Specifications, and Nets ![In: Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig, pp. 124-141, 2018, Springer, 978-3-319-75395-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Leen Lambers, Kristopher Born, Fernando Orejas, Daniel Strüber 0001, Gabriele Taentzer |
Initial Conflicts and Dependencies: Critical Pairs Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformation, Specifications, and Nets ![In: Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig, pp. 105-123, 2018, Springer, 978-3-319-75395-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Julia Padberg, Laïd Kahloul |
Overview of Reconfigurable Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformation, Specifications, and Nets ![In: Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig, pp. 201-222, 2018, Springer, 978-3-319-75395-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | John L. Pfaltz |
A Category of "Undirected Graphs" - A Tribute to Hartmut Ehrig. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformation, Specifications, and Nets ![In: Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig, pp. 223-230, 2018, Springer, 978-3-319-75395-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Jack Hassall, John Eaton |
Applying ISO RM-ODP in the Specification of CORBA® Interfaces and Semantics to General Ledger Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Specifications of Businesses and Systems ![In: Behavioral Specifications of Businesses and Systems, pp. 91-103, 1999, Springer, 978-1-4613-7383-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Shusaku Iida, Kokichi Futatsugi, Razvan Diaconescu |
Component-Based Algebraic Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Specifications of Businesses and Systems ![In: Behavioral Specifications of Businesses and Systems, pp. 105-121, 1999, Springer, 978-1-4613-7383-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Mark A. Shafer |
Using Information Modeling to Define Business Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Specifications of Businesses and Systems ![In: Behavioral Specifications of Businesses and Systems, pp. 209-217, 1999, Springer, 978-1-4613-7383-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Angelo E. Thalassinidis, Ira Sack |
On the Specification of the Business and Economic Foundations of Electronic Commerce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Specifications of Businesses and Systems ![In: Behavioral Specifications of Businesses and Systems, pp. 271-286, 1999, Springer, 978-1-4613-7383-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Roel J. Wieringa |
Embedding Object-Oriented Design in System Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Specifications of Businesses and Systems ![In: Behavioral Specifications of Businesses and Systems, pp. 287-310, 1999, Springer, 978-1-4613-7383-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Gary T. Leavens, Albert L. Baker, Clyde Ruby |
JML: A Notation for Detailed Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Specifications of Businesses and Systems ![In: Behavioral Specifications of Businesses and Systems, pp. 175-188, 1999, Springer, 978-1-4613-7383-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | James J. Odell |
Agents: Between Order and Chaos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Specifications of Businesses and Systems ![In: Behavioral Specifications of Businesses and Systems, pp. 189-193, 1999, Springer, 978-1-4613-7383-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Zinovy Diskin, Boris Kadish, Frank Piessens |
What vs. How of Visual Modeling: The Arrow Logic of Graphic Notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Specifications of Businesses and Systems ![In: Behavioral Specifications of Businesses and Systems, pp. 27-44, 1999, Springer, 978-1-4613-7383-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Ian Simmonds, David Ing |
A Layered Context Perspective on the Design of Enterprises and Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Specifications of Businesses and Systems ![In: Behavioral Specifications of Businesses and Systems, pp. 219-236, 1999, Springer, 978-1-4613-7383-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Bernard Cohen |
Being served: The Purposes, Strengths and Limitations of Formal Service Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Specifications of Businesses and Systems ![In: Behavioral Specifications of Businesses and Systems, pp. 15-25, 1999, Springer, 978-1-4613-7383-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Radu Grosu, Manfred Broy, Bran Selic, Gheorghe Stefanescu |
What is Behind UML-RT? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Specifications of Businesses and Systems ![In: Behavioral Specifications of Businesses and Systems, pp. 75-90, 1999, Springer, 978-1-4613-7383-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Kevin Lano, Juan Bicarregui |
Formalising the UML in Structured Temporal Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Specifications of Businesses and Systems ![In: Behavioral Specifications of Businesses and Systems, pp. 161-174, 1999, Springer, 978-1-4613-7383-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Stuart Kent 0001, Stephen Gaito, Niall Ross |
A Meta-Model Semantics for Structural Constraints In UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Specifications of Businesses and Systems ![In: Behavioral Specifications of Businesses and Systems, pp. 123-139, 1999, Springer, 978-1-4613-7383-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe |
Meta-Modelling Semantics of UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Specifications of Businesses and Systems ![In: Behavioral Specifications of Businesses and Systems, pp. 45-60, 1999, Springer, 978-1-4613-7383-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Marc Frappier, Richard St-Denis |
Combining JSD and Cleanroom for Object-Oriented Scenario Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Specifications of Businesses and Systems ![In: Behavioral Specifications of Businesses and Systems, pp. 61-74, 1999, Springer, 978-1-4613-7383-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Anthony J. H. Simons, Ian Graham |
30 Things that Go Wrong in Object Modelling with UML 1.3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Specifications of Businesses and Systems ![In: Behavioral Specifications of Businesses and Systems, pp. 237-257, 1999, Springer, 978-1-4613-7383-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Harold Solbrig |
Formalizing Association Semantics In Terminologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Specifications of Businesses and Systems ![In: Behavioral Specifications of Businesses and Systems, pp. 259-270, 1999, Springer, 978-1-4613-7383-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Andy Schürr, Andreas J. Winter 0001 |
UML, The Future Standard Software Architecture Description Language? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Specifications of Businesses and Systems ![In: Behavioral Specifications of Businesses and Systems, pp. 195-207, 1999, Springer, 978-1-4613-7383-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Kenneth Baclawski, Scott A. DeLoach, Mieczyslaw M. Kokar, Jeffrey E. Smith |
Object-Oriented Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Specifications of Businesses and Systems ![In: Behavioral Specifications of Businesses and Systems, pp. 1-14, 1999, Springer, 978-1-4613-7383-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Stefano Ceri, Stefano Crespi-Reghizzi |
Formal Definition of Nested Relations by Syntactical Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specifications of Database Systems ![In: Specifications of Database Systems, pp. 44-63, 1992, Springer, 978-3-540-19732-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Roberto S. M. Barros, David J. Harper |
Formal Development of Relational Database Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specifications of Database Systems ![In: Specifications of Database Systems, pp. 21-43, 1992, Springer, 978-3-540-19732-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Michael F. Worboys |
Database Specification using Transaction Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specifications of Database Systems ![In: Specifications of Database Systems, pp. 300-311, 1992, Springer, 978-3-540-19732-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Klaus-Dieter Schewe, Ingrid Wetzel, Joachim W. Schmidt |
Towards a Structured Specification Language for Database Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specifications of Database Systems ![In: Specifications of Database Systems, pp. 255-274, 1992, Springer, 978-3-540-19732-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Petros Bofakos, Moira C. Norrie |
Working Group Sessions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specifications of Database Systems ![In: Specifications of Database Systems, pp. 312-319, 1992, Springer, 978-3-540-19732-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Gunter Saake, Ralf Jungclaus |
Specification of Database Applications in the TROLL Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specifications of Database Systems ![In: Specifications of Database Systems, pp. 228-245, 1992, Springer, 978-3-540-19732-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Cornelis A. Middelburg |
VVSL Specification of a Transaction-oriented Access Handler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specifications of Database Systems ![In: Specifications of Database Systems, pp. 188-212, 1992, Springer, 978-3-540-19732-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
33 | John S. Fitzgerald |
Reasoning about a Modular Model-Oriented Formal Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specifications of Database Systems ![In: Specifications of Database Systems, pp. 106-134, 1992, Springer, 978-3-540-19732-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
33 | W. B. Samson, A. W. Wakelin |
Algebraic Specification of Databases - A Survey from a Database Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specifications of Database Systems ![In: Specifications of Database Systems, pp. 246-254, 1992, Springer, 978-3-540-19732-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
33 | A. T. M. Aerts, Paul De Bra, Kees M. van Hee |
Transforming Functional Database Schemes to Relational Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specifications of Database Systems ![In: Specifications of Database Systems, pp. 1-20, 1992, Springer, 978-3-540-19732-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Anthony Kosky |
A Formal Model for Databases with Applications to Schema Merging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specifications of Database Systems ![In: Specifications of Database Systems, pp. 154-170, 1992, Springer, 978-3-540-19732-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Subrata Kumar Das |
Specifying Deductive Databases and Integrity Constraints in Meta-logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specifications of Database Systems ![In: Specifications of Database Systems, pp. 64-87, 1992, Springer, 978-3-540-19732-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
33 | David Maier 0001 |
Specifying a Database System to Itself. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specifications of Database Systems ![In: Specifications of Database Systems, pp. 171-187, 1992, Springer, 978-3-540-19732-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Cristina Sernadas, Paula Gouveia, João Gouveia, Amílcar Sernadas, Pedro Resende |
The Reification Dimension in Object-oriented Data Base Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specifications of Database Systems ![In: Specifications of Database Systems, pp. 275-299, 1992, Springer, 978-3-540-19732-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Catherine Hamon, Marion Créhange |
Object Models and Methodology for Object-Oriented Database Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specifications of Database Systems ![In: Specifications of Database Systems, pp. 135-153, 1992, Springer, 978-3-540-19732-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Moira C. Norrie |
A Specification of an Object-Oriented Data Model with Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specifications of Database Systems ![In: Specifications of Database Systems, pp. 213-227, 1992, Springer, 978-3-540-19732-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Karen C. Davis, Lois M. L. Delcambre |
A Denotational Approach to Object-Oriented Query Language Definition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specifications of Database Systems ![In: Specifications of Database Systems, pp. 88-105, 1992, Springer, 978-3-540-19732-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Dines Bjørner (eds.) |
Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract Software Specifications ![Springer, 3-540-10007-5 The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
33 | Stephen N. Zilles |
Introduction to Data Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract Software Specifications ![In: Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings, pp. 248-272, 1979, Springer, 3-540-10007-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
33 | David Michael Ritchie Park |
On the Semantics of Fair Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract Software Specifications ![In: Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings, pp. 504-526, 1979, Springer, 3-540-10007-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
33 | Heinz Zemanek |
Banquet Talk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract Software Specifications ![In: Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings, pp. 554-563, 1979, Springer, 3-540-10007-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
33 | Dines Bjørner |
Formalization of Data Base Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract Software Specifications ![In: Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings, pp. 144-215, 1979, Springer, 3-540-10007-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
33 | Ole-Johan Dahl |
Time Swquences as a Tool for Describing Program Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract Software Specifications ![In: Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings, pp. 273-290, 1979, Springer, 3-540-10007-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
33 | Cliff B. Jones |
Models of Programming Language Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract Software Specifications ![In: Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings, pp. 100-143, 1979, Springer, 3-540-10007-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
33 | Bálint Dömölki |
An Example of Hierarchical Program Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract Software Specifications ![In: Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings, pp. 333-353, 1979, Springer, 3-540-10007-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
33 | H. Gerstmann, Alexander Ollongren |
Abstract Objects as Abstract Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract Software Specifications ![In: Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings, pp. 439-450, 1979, Springer, 3-540-10007-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
33 | Dines Bjørner |
Experiments in Block-structured GOTO Modelling: exits vs. Continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract Software Specifications ![In: Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings, pp. 216-247, 1979, Springer, 3-540-10007-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
33 | Rod M. Burstall, Joseph A. Goguen |
The Semantics of CLEAR, A Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract Software Specifications ![In: Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings, pp. 292-332, 1979, Springer, 3-540-10007-5. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|