Search results for "specifications"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
47	Noah Pywes, Paul Rehmet	Recovery of Software Design, State-Machines, and Specifications from Source Code.	ICECCS	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.	ICNP	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.	DEXA Workshops	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.	Graph Transformation, Specifications, and Nets	2018	DBLP DOI BibTeX RDF
42	Haim Kilov, Allan Ash	On the Structure of Convincing Specifications.	Behavioral Specifications of Businesses and Systems	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.	DEXA Workshops	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.	LCTES	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.	ITCC (2)	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.	ACM Trans. Comput. Log.	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.	ICSE	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.	PLDI	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.	ACM Comput. Surv.	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.	FMLDO - Selected Papers	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.	SEFM	2004	DBLP DOI BibTeX RDF
39	Noriaki Yoshiura	Decision Procedures for Several Properties of Reactive System Specifications.	ISSS	2003	DBLP DOI BibTeX RDF	Specification Description, Temporal Logic, Reactive System
38	Nancy G. Leveson	Intent Specifications: An Approach to Building Human-Centered Specifications.	IEEE Trans. Software Eng.	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.	IEEE PACT	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.	DSV-IS	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.	High. Order Symb. Comput.	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.	IEEE Trans. Software Eng.	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.	WADT	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.	IEEE Trans. Software Eng.	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.	APSEC	2008	DBLP DOI BibTeX RDF
35	Mark Minas	AGTIVE'03: Summary from the Viewpoint of Graph Transformation Specifications.	AGTIVE	2003	DBLP DOI BibTeX RDF
35	Martin Große-Rhode, Hartmut Ehrig	Transformation of Combined Data Type and Process Specifications Using Projection Algebras.	REX Workshop	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.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
35	Ondrej Rysavý, Jaroslav Ráb	A formal model of composing components: the TLA+ approach.	Innov. Syst. Softw. Eng.	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.	ITCC (2)	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.	ICCCN	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).		2014	RDF
34	Mark Gabel, Zhendong Su 0001	Javert: fully automatic mining of general temporal properties from dynamic traces.	SIGSOFT FSE	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.	ISCC	2008	DBLP DOI BibTeX RDF
34	Andreas Bollin	Maintaining Formal Specifications - Decomposition of Large Z-Specifications.	ICSM	2005	DBLP DOI BibTeX RDF
34	Yongzhong Tu, Wei-Tek Tsai, Yang Xiang	Specifying Constraints with Message Sequence Specifications.	APSEC	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.	ASYNC	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.	IEEE Trans. Software Eng.	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	Graph Transformation, Specifications, and Nets	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.	Graph Transformation, Specifications, and Nets	2018	DBLP DOI BibTeX RDF
33	Barbara König 0001, Dennis Nolte, Julia Padberg, Arend Rensink	A Tutorial on Graph Transformation.	Graph Transformation, Specifications, and Nets	2018	DBLP DOI BibTeX RDF
33	Detlef Plump	Modular Termination of Graph Transformation.	Graph Transformation, Specifications, and Nets	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.	Graph Transformation, Specifications, and Nets	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.	Graph Transformation, Specifications, and Nets	2018	DBLP DOI BibTeX RDF
33	Uwe Wolter, Zinovy Diskin, Harald König	Graph Operations and Free Graph Algebras.	Graph Transformation, Specifications, and Nets	2018	DBLP DOI BibTeX RDF
33	Annegret Habel, Christian Sandmann, Tilman Teusch	Integration of Graph Constraints into Graph Grammars.	Graph Transformation, Specifications, and Nets	2018	DBLP DOI BibTeX RDF
33	Harmen Kastenberg, Arend Rensink	Graph Attribution Through Sub-Graphs.	Graph Transformation, Specifications, and Nets	2018	DBLP DOI BibTeX RDF
33	Ugo Montanari, Matteo Sammartino, Alain Tcheukam Siwe	Decomposition Structures for Soft Constraint Evaluation Problems: An Algebraic Approach.	Graph Transformation, Specifications, and Nets	2018	DBLP DOI BibTeX RDF
33	Alexander Knapp, Till Mossakowski	Multi-view Consistency in UML: A Survey.	Graph Transformation, Specifications, and Nets	2018	DBLP DOI BibTeX RDF
33	Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye	A Simple Notion of Parallel Graph Transformation and Its Perspectives.	Graph Transformation, Specifications, and Nets	2018	DBLP DOI BibTeX RDF
33	Michael Löwe	Model Transformations as Free Constructions.	Graph Transformation, Specifications, and Nets	2018	DBLP DOI BibTeX RDF
33	Leen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino	Towards a Navigational Logic for Graphical Structures.	Graph Transformation, Specifications, and Nets	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.	Graph Transformation, Specifications, and Nets	2018	DBLP DOI BibTeX RDF
33	Julia Padberg, Laïd Kahloul	Overview of Reconfigurable Petri Nets.	Graph Transformation, Specifications, and Nets	2018	DBLP DOI BibTeX RDF
33	John L. Pfaltz	A Category of "Undirected Graphs" - A Tribute to Hartmut Ehrig.	Graph Transformation, Specifications, and Nets	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.	Behavioral Specifications of Businesses and Systems	1999	DBLP DOI BibTeX RDF
33	Shusaku Iida, Kokichi Futatsugi, Razvan Diaconescu	Component-Based Algebraic Specification.	Behavioral Specifications of Businesses and Systems	1999	DBLP DOI BibTeX RDF
33	Mark A. Shafer	Using Information Modeling to Define Business Requirements.	Behavioral Specifications of Businesses and Systems	1999	DBLP DOI BibTeX RDF
33	Angelo E. Thalassinidis, Ira Sack	On the Specification of the Business and Economic Foundations of Electronic Commerce.	Behavioral Specifications of Businesses and Systems	1999	DBLP DOI BibTeX RDF
33	Roel J. Wieringa	Embedding Object-Oriented Design in System Engineering.	Behavioral Specifications of Businesses and Systems	1999	DBLP DOI BibTeX RDF
33	Gary T. Leavens, Albert L. Baker, Clyde Ruby	JML: A Notation for Detailed Design.	Behavioral Specifications of Businesses and Systems	1999	DBLP DOI BibTeX RDF
33	James J. Odell	Agents: Between Order and Chaos.	Behavioral Specifications of Businesses and Systems	1999	DBLP DOI BibTeX RDF
33	Zinovy Diskin, Boris Kadish, Frank Piessens	What vs. How of Visual Modeling: The Arrow Logic of Graphic Notations.	Behavioral Specifications of Businesses and Systems	1999	DBLP DOI BibTeX RDF
33	Ian Simmonds, David Ing	A Layered Context Perspective on the Design of Enterprises and Information Systems.	Behavioral Specifications of Businesses and Systems	1999	DBLP DOI BibTeX RDF
33	Bernard Cohen	Being served: The Purposes, Strengths and Limitations of Formal Service Modelling.	Behavioral Specifications of Businesses and Systems	1999	DBLP DOI BibTeX RDF
33	Radu Grosu, Manfred Broy, Bran Selic, Gheorghe Stefanescu	What is Behind UML-RT?	Behavioral Specifications of Businesses and Systems	1999	DBLP DOI BibTeX RDF
33	Kevin Lano, Juan Bicarregui	Formalising the UML in Structured Temporal Theories.	Behavioral Specifications of Businesses and Systems	1999	DBLP DOI BibTeX RDF
33	Stuart Kent 0001, Stephen Gaito, Niall Ross	A Meta-Model Semantics for Structural Constraints In UML.	Behavioral Specifications of Businesses and Systems	1999	DBLP DOI BibTeX RDF
33	Andy Evans, Robert B. France, Kevin Lano, Bernhard Rumpe	Meta-Modelling Semantics of UML.	Behavioral Specifications of Businesses and Systems	1999	DBLP DOI BibTeX RDF
33	Marc Frappier, Richard St-Denis	Combining JSD and Cleanroom for Object-Oriented Scenario Specification.	Behavioral Specifications of Businesses and Systems	1999	DBLP DOI BibTeX RDF
33	Anthony J. H. Simons, Ian Graham	30 Things that Go Wrong in Object Modelling with UML 1.3.	Behavioral Specifications of Businesses and Systems	1999	DBLP DOI BibTeX RDF
33	Harold Solbrig	Formalizing Association Semantics In Terminologies.	Behavioral Specifications of Businesses and Systems	1999	DBLP DOI BibTeX RDF
33	Andy Schürr, Andreas J. Winter 0001	UML, The Future Standard Software Architecture Description Language?	Behavioral Specifications of Businesses and Systems	1999	DBLP DOI BibTeX RDF
33	Kenneth Baclawski, Scott A. DeLoach, Mieczyslaw M. Kokar, Jeffrey E. Smith	Object-Oriented Transformation.	Behavioral Specifications of Businesses and Systems	1999	DBLP DOI BibTeX RDF
33	Stefano Ceri, Stefano Crespi-Reghizzi	Formal Definition of Nested Relations by Syntactical Mappings.	Specifications of Database Systems	1992	DBLP DOI BibTeX RDF
33	Roberto S. M. Barros, David J. Harper	Formal Development of Relational Database Applications.	Specifications of Database Systems	1992	DBLP DOI BibTeX RDF
33	Michael F. Worboys	Database Specification using Transaction Sets.	Specifications of Database Systems	1992	DBLP DOI BibTeX RDF
33	Klaus-Dieter Schewe, Ingrid Wetzel, Joachim W. Schmidt	Towards a Structured Specification Language for Database Applications.	Specifications of Database Systems	1992	DBLP DOI BibTeX RDF
33	Petros Bofakos, Moira C. Norrie	Working Group Sessions.	Specifications of Database Systems	1992	DBLP DOI BibTeX RDF
33	Gunter Saake, Ralf Jungclaus	Specification of Database Applications in the TROLL Language.	Specifications of Database Systems	1992	DBLP DOI BibTeX RDF
33	Cornelis A. Middelburg	VVSL Specification of a Transaction-oriented Access Handler.	Specifications of Database Systems	1992	DBLP DOI BibTeX RDF
33	John S. Fitzgerald	Reasoning about a Modular Model-Oriented Formal Specification.	Specifications of Database Systems	1992	DBLP DOI BibTeX RDF
33	W. B. Samson, A. W. Wakelin	Algebraic Specification of Databases - A Survey from a Database Perspective.	Specifications of Database Systems	1992	DBLP DOI BibTeX RDF
33	A. T. M. Aerts, Paul De Bra, Kees M. van Hee	Transforming Functional Database Schemes to Relational Representations.	Specifications of Database Systems	1992	DBLP DOI BibTeX RDF
33	Anthony Kosky	A Formal Model for Databases with Applications to Schema Merging.	Specifications of Database Systems	1992	DBLP DOI BibTeX RDF
33	Subrata Kumar Das	Specifying Deductive Databases and Integrity Constraints in Meta-logic.	Specifications of Database Systems	1992	DBLP DOI BibTeX RDF
33	David Maier 0001	Specifying a Database System to Itself.	Specifications of Database Systems	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.	Specifications of Database Systems	1992	DBLP DOI BibTeX RDF
33	Catherine Hamon, Marion Créhange	Object Models and Methodology for Object-Oriented Database Design.	Specifications of Database Systems	1992	DBLP DOI BibTeX RDF
33	Moira C. Norrie	A Specification of an Object-Oriented Data Model with Relations.	Specifications of Database Systems	1992	DBLP DOI BibTeX RDF
33	Karen C. Davis, Lois M. L. Delcambre	A Denotational Approach to Object-Oriented Query Language Definition.	Specifications of Database Systems	1992	DBLP DOI BibTeX RDF
33	Dines Bjørner (eds.)	Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings	Abstract Software Specifications	1980	DBLP DOI BibTeX RDF
33	Stephen N. Zilles	Introduction to Data Algebra.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
33	David Michael Ritchie Park	On the Semantics of Fair Parallelism.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
33	Heinz Zemanek	Banquet Talk.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
33	Dines Bjørner	Formalization of Data Base Models.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
33	Ole-Johan Dahl	Time Swquences as a Tool for Describing Program Behaviour.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
33	Cliff B. Jones	Models of Programming Language Concepts.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
33	Bálint Dömölki	An Example of Hierarchical Program Specification.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
33	H. Gerstmann, Alexander Ollongren	Abstract Objects as Abstract Data Types.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
33	Dines Bjørner	Experiments in Block-structured GOTO Modelling: exits vs. Continuations.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
33	Rod M. Burstall, Joseph A. Goguen	The Semantics of CLEAR, A Specification Language.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF