|
|
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 |
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 |
|
|
|