Search results for "specifications"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Piotr Hoffman	Verifying Architectural Specifications.	WADT	2001	DBLP DOI BibTeX RDF
15	Ralph D. Jeffords, Constance L. Heitmeyer	An Algorithm for Strengthening State Invariants Generated from Requirements Specifications.	RE	2001	DBLP DOI BibTeX RDF
15	Isidoro Urriza, José I. García-Nicolás, Alfredo Sanz, Antonio Valdovinos	A System on Chip for Power Line Communications According to European Home Systems Specifications.	FPL	2001	DBLP DOI BibTeX RDF
15	Alaa Ibrahim, Hany H. Ammar, Sherif M. Yacoub	A Fault Model for Fault Injection Analysis of Dynamic UML Dynamic Specifications.	ISSRE	2001	DBLP DOI BibTeX RDF	Verification an Validation, UML and statecharts, Fault Model, Fault Injection
15	Jayanta Bhadra, Andrew K. Martin, Jacob A. Abraham, Magdy S. Abadir	Using Abstract Specifications to Verify PowerPCTM Custom Memories by Symbolic Trajectory Evaluation.	CHARME	2001	DBLP DOI BibTeX RDF
15	Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva	STG: a tool for generating symbolic test programs and oracles from operational specifications.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF
15	Duncan S. Neary, Martin R. Woodward	Visual Representation of Algebraic Specifications: a User-Oriented Approach.	HCC	2001	DBLP DOI BibTeX RDF
15	Iulian Ober, Alain Kerbrat	Verification of Quantitative Temporal Properties of SDL Specifications.	SDL Forum	2001	DBLP DOI BibTeX RDF
15	Wenhui Zhang	Applying SDL Specifications and Tools to the Verification of Procedures.	SDL Forum	2001	DBLP DOI BibTeX RDF
15	Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer	An Analysis-Revision Cycle to Evolve Requirements Specifications.	ASE	2001	DBLP DOI BibTeX RDF
15	Piotr Rolinski, Jean-Luc Raffy	Re-Engineering of Estelle Specifications for Maintenance and Evolution Purposes.	CSMR	2000	DBLP DOI BibTeX RDF
15	Graeme Smith 0001	Stepwise Development from Ideal Specifications.	ACSC	2000	DBLP DOI BibTeX RDF	formal specification, refinement, stepwise development
15	Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge	Deriving Software Specifications from Event Based Models.	ZB	2000	DBLP DOI BibTeX RDF	System Property, Environment Interaction, Shared module, Distributed System, Refinement, Event, System model, Concurrent Process, Program Specification, Atomic Operation
15	Myung-Hwan Park, Ki-Seok Bang, Jin-Young Choi, Inhye Kang	Equivalence Checking of Two Statechart Specifications.	IEEE International Workshop on Rapid System Prototyping	2000	DBLP DOI BibTeX RDF	ACSR, Weak equivalence, Formal verification, Statecharts
15	Ramakrishna Voorakaranam, Abhijit Chatterjee	Test Generation for Accurate Prediction of Analog Specifications.	VTS	2000	DBLP DOI BibTeX RDF
15	Scott P. Overmyer	A Methodology for Constructing User-Oriented Requirements Specifications for Large-Scale Systems Using Electronic Hypermedia.	Requir. Eng.	1999	DBLP DOI BibTeX RDF	Multimedia, specification, Requirements, Rapid prototyping
15	Henning Dierks	Synthesizing controllers from real-time specifications.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
15	Wolfgang Boßung, Sorin Alexander Huss, Stephan Klaus	High-Level Embedded System Specifications Based on Process Activation Conditions.	J. VLSI Signal Process.	1999	DBLP DOI BibTeX RDF
15	Jussipekka Leiwo	A Mechanism for Deriving Specifications of Security Functions in the CC Framework.	DEXA	1999	DBLP DOI BibTeX RDF
15	Dusko Pavlovic	Semantics of First Order Parametric Specifications.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
15	Yuan Yu, Panagiotis Manolios, Leslie Lamport	Model Checking TLA+ Specifications.	CHARME	1999	DBLP DOI BibTeX RDF
15	Klaus-Dieter Schewe, Bernhard Thalheim	A Generalization of Dijkstra's Calculus to Typed Program Specifications.	FCT	1999	DBLP DOI BibTeX RDF
15	Dominique Cansell, Dominique Méry	Abstract Animator for Temporal Specifications: Application to TLA.	SAS	1999	DBLP DOI BibTeX RDF
15	Jonathan Lee 0004, Nien-Lin Xue, Kuo-Hsun Hsu, Yong-Yi Fangjang	Structuring Requirements Specifications through Goals Interactions.	ICTAI	1999	DBLP DOI BibTeX RDF	Conflicting Requirements, UML, Requirements Engineering, Goals
15	Sophie Coudert, Gilles Bernot, Pascale Le Gall	Hierarchical Heterogeneous Specifications.	WADT	1998	DBLP DOI BibTeX RDF	structured specification, heterogeneous proof, formal specification, modularity, algebraic specification, proof theory, logical framework, inference system, heterogeneous specification
15	Enrico Tronci	Automatic Synthesis of Controllers from Formal Specifications.	ICFEM	1998	DBLP DOI BibTeX RDF
15	Hélène Kirchner, Peter D. Mosses	Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models.	AMAST	1998	DBLP DOI BibTeX RDF
15	Willem C. Mallon, Jan Tijmen Udding	Building Finite Automata from DI Specifications.	ASYNC	1998	DBLP DOI BibTeX RDF
15	Tom Verhoeff	Analyzing Specifications for Delay-Insensitive Circuits.	ASYNC	1998	DBLP DOI BibTeX RDF
15	Alberto Coen-Porisini, Matteo Pradella, Pierluigi San Pietro	A Finite-Domain Semantics for Testing Temporal Logic Specifications.	FTRTFT	1998	DBLP DOI BibTeX RDF
15	Allan H. Anderson, Gary A. Shaw	Executable Requirements and Specifications.	J. VLSI Signal Process.	1997	DBLP DOI BibTeX RDF
15	Jean-François Dufourd	Algebras and formal specifications in geometric modelling.	Vis. Comput.	1997	DBLP DOI BibTeX RDF	Extended ?-calculus, Formal specification, Geometric modeling, Parameterization, Constructive solid geometry, Boundary representation, Universal algebra
15	James H. Andrews	Executing Formal Specifications by Translation to Higher Order Logic Programming.	TPHOLs	1997	DBLP DOI BibTeX RDF
15	Anatol Ursu, Gabriela Gruita, Sergiu Zaporojan	Design and verification of the sequential systems automata using temporal logic specifications.	ED&TC	1997	DBLP DOI BibTeX RDF
15	Gianna Reggio, Mauro Larosa	A Graphic Notation for Formal Specifications of Dynamic Systems.	FME	1997	DBLP DOI BibTeX RDF
15	Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel	Analyzing Schedulability of Astral Specifications using Extended Timed Automata.	Euro-Par	1997	DBLP DOI BibTeX RDF
15	Carl K. Chang, Yi-Te Tseng, Ugo A. Buy	Compiling process algebraic specifications into timed automata.	COMPSAC	1997	DBLP DOI BibTeX RDF	Language of Timed Processes, process algebraic specification compilation, process-algebra-based specification language, process descriptions, periodic constraints, sporadic constraints, periodic behavior modelling, finite representation, delays, computations, timed automata, translation, algebraic specification, real-time applications, deadlines, execution time, automatic verification, timeouts, timing requirement, LTP, timed transition systems
15	Ulrich Kühler, Claus-Peter Wirth	Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving.	RTA	1997	DBLP DOI BibTeX RDF
15	Raj S. Mitra, Bishnupriya Bhattacharya, Luciano Lavagno	Asynchronous Implementation of Synchronous Esterel Specifications.	VLSI Design	1997	DBLP DOI BibTeX RDF
15	Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw	Automated Consistency Checking of Requirements Specifications.	ACM Trans. Softw. Eng. Methodol.	1996	DBLP DOI BibTeX RDF	application-independent properties, formal requirements modeling, software cost reduction methodology, tabular notations, consistency checking
15	Ernst Ellmer, Christian Huemer, Dieter Merkl, Günther Pernul	Automatic Classification of Semantic Concepts in View Specifications.	DEXA	1996	DBLP DOI BibTeX RDF
15	William E. Howden, Suehee Pak	The Derivation of Functional Specifications from Source Code.	APSEC	1996	DBLP DOI BibTeX RDF	data flow slicing, reverse engineering, abstraction, modularization, selection, CASE, design recovery, symbolic evaluation
15	Rob J. van Glabbeek	The Meaning of Negative Premises in Transition System Specifications II.	ICALP	1996	DBLP DOI BibTeX RDF
15	Donald Sannella, Andrzej Tarlecki	Mind the Gap! Abstract Versus Concrete Models of Specifications.	MFCS	1996	DBLP DOI BibTeX RDF
15	Gabriel Baum, Marcelo F. Frias, Armando Martin Haeberer, Pablo E. Martínez López	From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap.	MFCS	1996	DBLP DOI BibTeX RDF
15	Richard J. Anderson, Paul Beame, Steve Burns 0002, William Chan 0001, Francesmary Modugno, David Notkin, Jon Damon Reese	Model Checking Large Software Specifications.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF
15	Martin Gogolla	Parameterizing Object Specifications.	DISCO	1996	DBLP DOI BibTeX RDF
15	Rohan Fletcher, A. S. M. Sajeev	A Framework for Testing Object-Oriented Software Using Formal Specifications.	Ada-Europe	1996	DBLP DOI BibTeX RDF
15	Alexander Tuzhilin	Templar: A Knowledge-Based Language for Software Specifications Using Temporal Logic.	ACM Trans. Inf. Syst.	1995	DBLP DOI BibTeX RDF	temporal logic, time, specification languages, events, rule-based systems, activities
15	Graeme Smith	Reasoning about Object-Z Specifications.	APSEC	1995	DBLP DOI BibTeX RDF	object orientation, Object-Z, proof systems, formal reasoning
15	Ina Schieferdecker	Performance-Oriented Formal Specifications - the LotoTis Approach.	TAPSOFT	1995	DBLP DOI BibTeX RDF
15	S. Alan Ezust, Gregor von Bochmann	An Automatic Trace Analysis Tool Generator for Estelle Specifications.	SIGCOMM	1995	DBLP DOI BibTeX RDF
15	Tam-Anh Chu	Synthesis of hazard-free control circuits from asynchronous finite state machines specifications.	J. VLSI Signal Process.	1994	DBLP DOI BibTeX RDF
15	Arnd Poetzsch-Heffter	Developing Efficient Interpreters Based on Formal Language Specifications.	CC	1994	DBLP DOI BibTeX RDF
15	Jeffrey Douglas, Richard A. Kemmerer	Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications.	ISSTA	1994	DBLP DOI BibTeX RDF
15	Jürgen Avenhaus, Klaus Becker 0002	Operational Specifications with Built-Ins.	STACS	1994	DBLP DOI BibTeX RDF
15	W. Lewis Johnson, Kevin Benner, David R. Harris 0002	Developing Formal Specifications from Informal Requirements.	IEEE Expert	1993	DBLP DOI BibTeX RDF
15	Jeremy Dick, Alain Faivre	Automating the Generation and Sequencing of Test Cases from Model-Based Specifications.	FME	1993	DBLP DOI BibTeX RDF
15	Wolfgang Thomas, Helmut Lescow	Logical Specifications of Infinite Computations.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	Infinite words, descriptive set theory, Cantor space, Borel hierarchy, Büchi automata, acceptance conditions, infinite trees, temporal logic, languages, regular -languages, monadic second-order logic, recursion theory, infinite games
15	C. B. Piprani, R. Bruce Morris	A Multi-Model Approach for Deriving Requirements Specifications for a Mega-Project	CAiSE	1993	DBLP DOI BibTeX RDF
15	Miguel Felder, Carlo Ghezzi, Mauro Pezzè	Analyzing Refinements of State Based Specifications: The Case of TB Nets.	ISSTA	1993	DBLP DOI BibTeX RDF
15	Hartmut Ehrig, Francesco Parisi-Presicce	High-Level-Replacement Systems for Equational Algebraic Specifications.	ALP	1992	DBLP DOI BibTeX RDF
15	Alessandro Giovini, Franco Morando, Antonio Capani	Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent Systems.	ALP	1992	DBLP DOI BibTeX RDF
15	Andrea F. Abate, C. D'apolito, Giancarlo Nota, Giuliano Pacini	Querying and Analysis of Software Specifications.	SEKE	1992	DBLP DOI BibTeX RDF
15	Anthony Q. Baxter, J. Austin French	Specifications and testing aided by a variant of the cause-effect process.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF
15	Oscar Díaz, Suzanne M. Embury	Generating Active Rules from High-Level Specifications.	BNCOD	1992	DBLP DOI BibTeX RDF	explicit knowledge representation, object-oriented databases, integrity constraints, Active databases
15	Uwe Wolter, Michael Löwe	Beyond Conditional Equations: Quasi-Initial Semantics for Parametric Algebraic Specifications.	CAAP	1992	DBLP DOI BibTeX RDF
15	Paul Anderson 0001, David Bolton, Paul H. J. Kelly	Paragon Specifications: Structure, Analysis and Implementation.	PARLE	1992	DBLP DOI BibTeX RDF
15	Arlet Ottens, Hans Toetenel	Simulation of Mosca Specifications in Ada.	Ada-Europe	1992	DBLP DOI BibTeX RDF
15	Dorothy E. Setliff, Rob A. Rutenbar	On the feasibility of synthesizing CAD software from specifications: generating maze router tools in ELF.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
15	W. Lewis Johnson, Martin S. Feather, David R. Harris 0002	Integrating domain knowledge, requirements, and specifications.	J. Syst. Integr.	1991	DBLP DOI BibTeX RDF	software presentation, software reuse, transformations, Requirements analysis, software specification, knowledge-based software engineering
15	Monica Nesi	Mechanizing a Proof by Induction of Process Algebrs Specifications in Higher Order Logic.	CAV	1991	DBLP DOI BibTeX RDF
15	Hubert Baumeister	Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
15	Bernd Krieg-Brückner, Donald Sannella	Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
15	Jean-Pierre Jouannaud	Executable Higher-Order Algebraic Specifications.	STACS	1991	DBLP DOI BibTeX RDF
15	Tatsuo Minohara, Mario Tokoro	Providing Dynamic Type Abstractions and Specifications for Persistent Information.	DOOD	1991	DBLP DOI BibTeX RDF
15	Howard Wong-Toi, David L. Dill	Synthesizing Processes and Schedulers from Temporal Specifications.	CAV	1990	DBLP DOI BibTeX RDF
15	Jordi Farrés-Casals	Proving Correctness wrt Specifications with Hidden Parts.	ALP	1990	DBLP DOI BibTeX RDF
15	Adriano Valenzano, Riccardo Sisto, Luigi Ciminiera	Modeling the execution of LOTOS specifications by cooperating extended finite state machines.	SPDP	1990	DBLP DOI BibTeX RDF
15	Martin S. Feather	Constructing Specifications by Combining Parallel Elaborations.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	parallel elaborations, software engineering, formal specification, specification, maintenance, comprehension, incremental approach
15	Jan Chomicki, Tomasz Imielinski	Relational Specifications of Infinite Query Answers.	SIGMOD Conference	1989	DBLP DOI BibTeX RDF	DATALOG
15	David S. Rosenblum, David C. Luckham	Testing the Correctness of Tasking Supervisors with TSL Specifications.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF	Ada
15	Marc J. Balcer, William M. Hasling, Thomas J. Ostrand	Automatic Generation of Test Scripts from Formal Test Specifications.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF
15	Rocco De Nicola, Paola Inverardi, Monica Nesi	Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
15	Daniel Hoffman, Richard T. Snodgrass	Trace Specifications: Methodology and Models.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	trace specification language, trace specification methodology, specification consistency, executable prototypes, formal specification, formal specification, specification languages
15	Peter Kilpatrick, P. McParland	Software Support for the Refinement of VDM Specifications.	VDM Europe	1988	DBLP DOI BibTeX RDF
15	Udo W. Lipeck	Transformation of Dynamic Integrity Constraints into Transaction Specifications.	ICDT	1988	DBLP DOI BibTeX RDF	pre/postconditions, constraint simplification, integrity, monitoring, temporal logic, transactions, dynamic constraints, transition graphs
15	Francesco Parisi-Presicce	Partial Composition and Recursion of Module Specifications.	TAPSOFT, Vol.1	1987	DBLP DOI BibTeX RDF
15	Hans-Jörg Kreowski	Partial Algebras Flow From Algebraic Specifications.	ICALP	1987	DBLP DOI BibTeX RDF
15	Michel Bidoit, Marie-Claude Gaudel, Anne Mauboussin	How to Make Algebraic Specifications More Understandable?.	Algebraic Methods	1987	DBLP DOI BibTeX RDF
15	Harald Ganzinger	Ground Term Confluence in Parametric Conditional Equational Specifications.	STACS	1987	DBLP DOI BibTeX RDF
15	Christoph Beierle, Angi Voß	On Implementations of Loose Abstract Data Type Specifications and Their Vertical Composition.	STACS	1987	DBLP DOI BibTeX RDF
15	Jacques Vautherin	Parallel systems specitications with coloured Petri nets and algebraic specifications.	European Workshop on Applications and Theory of Petri Nets	1986	DBLP DOI BibTeX RDF
15	Stan Jefferson, Samuel N. Kamin	Executable Specifications with Quantifiers in the FASE System.	POPL	1986	DBLP DOI BibTeX RDF
15	Francesco Parisi-Presicce	Inner and Mutual Compatibility of Basic Operations on Module Specifications.	CAAP	1986	DBLP DOI BibTeX RDF
15	G. Comparin, Gaetano Aurelio Lanzarone, Kurt Lautenbach, Anastasia Pagnoni, W. Panzeri, A. Torgano	Guidelines on using net analysis techniques with large specifications.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
15	James J. Horning	Combining Algebraic and Predicative Specifications in Larch.	TAPSOFT, Vol.2	1985	DBLP DOI BibTeX RDF
15	Michel Bidoit, Christine Choppy	ASSPEGIQUE: An Integrated Environment for Algebraic Specifications.	TAPSOFT, Vol.2	1985	DBLP DOI BibTeX RDF
15	Edward K. Blum, Francesco Parisi-Presicce	The Semantics of Shared Submodules Specifications.	TAPSOFT, Vol.1	1985	DBLP DOI BibTeX RDF
15	Klaus Drosten	Towards Executable Specifications Using Conditional Axioms.	STACS	1984	DBLP DOI BibTeX RDF