Search results for "specifications"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	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
4	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
4	Chia-Chu Chiang	An Introduction to TUG: A Language for Writing Reusable Formal Program Specifications.	ITCC	2005	DBLP DOI BibTeX RDF	Generic Specifications, Reusable Specifications, Software Reuse and TUG, Formality
4	Elizabeth I. Leonard, Constance L. Heitmeyer	Program Synthesis from Formal Requirements Specifications Using APTS.	Higher-Order and Symbolic Computation	2003	DBLP DOI BibTeX RDF	APTS, formal specifications, program transformation, code generation, requirements specifications, SCR, code synthesis
4	Lamia Labed Jilani, Jules Desharnais, Ali Mili	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
4	Núria Castell, Àngels Hernández	Knowledge Management in the Sarel System. (PDF / PS)	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
4	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
4	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
4	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
4	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
4	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
3	Jens Brandt, Klaus Schneider, Sandeep K. Shukla	Translating concurrent action oriented specifications to synchronous guarded actions.	LCTES	2010	DBLP DOI BibTeX RDF	concurrent action-oriented specifications, code generation, synchronous languages, guarded commands
3	Jorge García Duque, José J. Pazos Arias, Martín López Nores, Yolanda Blanco-Fernández, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Manuel Ramos Cabrer, Alberto Gil-Solla	Methodologies to evolve formal specifications through refinement and retrenchment in an analysis-revision cycle.	Requir. Eng.	2009	DBLP DOI BibTeX RDF	Analysis-revision, Formal requirements specifications, Refinement, Retrenchment
3	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
3	Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone	Modal interfaces: unifying interface automata and modal specifications.	EMSOFT	2009	DBLP DOI BibTeX RDF	modal specifications, compatibility, interface automata
3	Néstor Cataño, Tim Wahls	Executing JML specifications of Java card applications: a case study.	SAC	2009	DBLP DOI BibTeX RDF	executable specifications, Java card, JML
3	Dana P. Leonard, Jason O. Hallstrom, Murali Sitaraman	Injecting rapid feedback and collaborative reasoning in teaching specifications.	SIGCSE	2009	DBLP DOI BibTeX RDF	collaborative reasoning, contract programming, formal methods, interface specifications, learning tools
3	Ivo Krka, Yuriy Brun, George Edwards, Nenad Medvidovic	Synthesizing partial component-level behavior models from system specifications.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	behavior model synthesis, constraints, scenarios, partial specifications, modal transition systems
3	Martin Nordio, Roman Mitin, Bertrand Meyer, Carlo Ghezzi, Elisabetta Di Nitto, Giordano Tamburrelli	The Role of Contracts in Distributed Development.	SEAFOOD	2009	DBLP DOI BibTeX RDF	Contracts, Distributed Development, Interface Specifications, Software Requirements Specifications
3	Ondrej Rysavy, Jaroslav Ráb	A formal model of composing components: the TLA+ approach.	ISSE	2009	DBLP DOI BibTeX RDF	Composing specifications, Synchronous mode of executions, Temporal logic of actions, Component model, Hierarchical specifications
3	Sébastien Labbé, Jean-Pierre Gallois	Slicing communicating automata specifications: polynomial algorithms for model reduction.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Communicating automata, Specifications, Static analysis, Slicing, Dataflow analysis, Model reduction, Polynomial algorithms
3	Johannes Henkel, Christoph Reichenbach, Amer Diwan	Developing and debugging algebraic specifications for Java classes.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	Algebraic interpretation, specification discovery, algebraic specifications
3	Dragos Truscan, Johan Lindqvist, Johan Lilius, Ivan Porres, Timo Eriksson, Juha Rakkola, Antti Latva-Aho	Testable Specifications of NoTA-based Modular Embedded Systems.	ECBS	2008	DBLP DOI BibTeX RDF	NoTA architecture, SOA, SOC, testing specifications
3	Yannick Welsch	Grey-box specifications for object-oriented program components.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	grey-box specifications, oop, components
3	Mark Gabel, Zhendong Su	Symbolic mining of temporal specifications.	ICSE	2008	DBLP DOI BibTeX RDF	formal specifications, dynamic analysis, specification mining
3	Guillaume Feuillade, Sophie Pinchinat	Modal Specifications for the Control Theory of Discrete Event Systems.	Discrete Event Dynamic Systems	2007	DBLP DOI BibTeX RDF	Conjunctive nu-calculus, Modal specifications, Maximally permissive solutions, Logics, Reactive systems, Control theory, Mu-calculus
3	Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet	Test Selection Criteria for Quantifier-Free First-Order Specifications.	FSEN	2007	DBLP DOI BibTeX RDF	quantifier-free first-order specifications, axiom coverage, proof tree normalization, Specification-based testing, unfolding, test purpose, selection criteria
3	Björn Metzler	Decomposing Integrated Specifications for Verification.	IFM	2007	DBLP DOI BibTeX RDF	Integrated Formal Specifications, Model Checking, Decomposition, Program Slicing, Compositional Verification
3	Malay K. Ganai, Aarti Gupta	Efficient BMC for Multi-Clock Systems with Clocked Specifications.	ASP-DAC	2007	DBLP DOI BibTeX RDF	OpenCores multiclock system benchmarks, clocked specifications, multiphased clocks, level-sensitive latches, SAT-based bounded model checking, synchronous multiclock systems, clocked LTL properties, clock modeling schemes, clock constraints, loop-checks, gated clocks
3	Fadi Hanna, Richard A. Frost	Adding Semantics to Formal Data Specifications to Automatically Generate Corresponding Voice Data-Input Applications.	ICSC	2007	DBLP DOI BibTeX RDF	Voice XML, G-DTD, formal data specifications, voice data-input applications, XML, semantics, DTD
3	Marc Aiguier, Delphine Longuet	Test Selection Criteria for Modal Specifications of Reactive Systems.	TASE	2007	DBLP DOI BibTeX RDF	dynamic specifications, proof tree normalisation, Specification-based testing, unfolding, coalgebras, exhaustivity, selection criteria
3	Delphine Longuet, Marc Aiguier	Specification-Based Testing for CoCasl's Modal Specifications.	CALCO	2007	DBLP DOI BibTeX RDF	axiom unfolding, coalgebraic specifications, CoCasl, modal logic, Specification-based testing
3	Jorge García Duque, Martín López Nores, José J. Pazos Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Manuel Ramos Cabrer, Yolanda Blanco-Fernández	Guidelines for the incremental identification of aspects in requirements specifications.	Requir. Eng.	2006	DBLP DOI BibTeX RDF	Requirements specifications, Crosscutting concerns, Aspect-mining, Incremental software development
3	Sri Fatimah Tjong, Nasreddine Hallam, Michael Hartley	Improving the Quality of Natural Language Requirements Specifications through Natural Language Requirements Patterns.	CIT	2006	DBLP DOI BibTeX RDF	Natural Language Requirements Specifications, Guiding Rules, Language Patterns
3	Rachel L. Cobleigh, George S. Avrunin, Lori A. Clarke	User guidance for creating precise and accessible property specifications.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	property specifications
3	William B. Gardner	Converging CSP specifications and C++ programming via selective formalism.	ACM Trans. Embedded Comput. Syst.	2005	DBLP DOI BibTeX RDF	hardware/software codesign, Executable specifications, object-oriented application frameworks
3	Stephen Doxsee, William B. Gardner	Synthesis of C++ software for automated teller from CSPm specifications.	SAC	2005	DBLP DOI BibTeX RDF	executable specifications, object-oriented application frameworks
3	Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert	Checking JML Specifications with B Machines.	ZB	2005	DBLP DOI BibTeX RDF	object-oriented, specifications, B method, abstract machines, JML, Java Modeling Language
3	Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre	Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms.	FATES	2005	DBLP DOI BibTeX RDF	proof tree normalization, conditional rewriting, algebraic specifications, Specification-based testing, unfolding, selection criteria
3	Robert L. Baber, David Lorge Parnas, Sergiy A. Vilkomir, Paul Harrison, Tony O'Connor	Disciplined Methods of Software Specification: A Case Study.	ITCC	2005	DBLP DOI BibTeX RDF	tabular specifications, trace specifications, software, finite state machine, traces
3	John Håkansson, Bengt Jonsson, Ola Lundqvist	Generating online test oracles from temporal logic specifications.	STTT	2003	DBLP DOI BibTeX RDF	Online test oracles, Temporal logic specifications, Case studies, Safety properties, Metric temporal logic
3	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
3	Helen Treharne, Steve Schneider, Marchia Bramble	Composing Specifications Using Communication.	ZB	2003	DBLP DOI BibTeX RDF	Composing Specifications, Concurrency, CSP, B-Method, Combining Formalisms
3	Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini	Model-Checking TRIO Specifications in SPIN.	FME	2003	DBLP DOI BibTeX RDF	model checking, temporal logic, Spin, modular specifications
3	Jean-Luc Paillet, Norbert Giambiasi	DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems.	Journal of Intelligent and Robotic Systems	2002	DBLP DOI BibTeX RDF	formal specifications, control systems, production systems, discrete event dynamic systems
3	Michel Bidoit, Donald Sannella, Andrzej Tarlecki	Architectural Specifications in CASL.	Formal Asp. Comput.	2002	DBLP DOI BibTeX RDF	CASL, Formal software development, Specification of program structure, Algebraic specification, Architectural specifications
3	Ranga Vemuri, Srinivas Katkoori, Meenakshi Kaul, Jay Roy	An efficient register optimization algorithm for high-level synthesis from hierarchical behavioral specifications.	ACM Trans. Design Autom. Electr. Syst.	2002	DBLP DOI BibTeX RDF	lifecycle analysis, register optimization, high-level synthesis, hardware description languages, Behavioral synthesis, hierarchical specifications
3	Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit	Formal Specifications of Computer-Based Systems. (PDF / PS)	ECBS	2002	DBLP DOI BibTeX RDF	Formal specifications, Workshop, Computer-based systems
3	Rebeca P. Díaz Redondo, José J. Pazos Arias, Ana Fernández Vilas, Ana Belén Barragáns-Martínez	Approximate Retrieval of Incomplete and Formal Specifications Applied to Horizontal Reuse. (PDF / PS)	EUROMICRO	2002	DBLP DOI BibTeX RDF	component-based requirements engineering, reuse of formal requirement specifications, iterative and incremental software processes, software reuse
3	Gregory 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
3	Huaikou Miao, Ling Liu, Chuanjiang Yu, Jijun Ming, Li Li	Z User Studio: An Integrated Support Tool for Z Specifications.	APSEC	2001	DBLP DOI BibTeX RDF	Z User Studio, Syntax parser, Type checker, Test cases generator, Z specifications
3	Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski	Checking Amalgamability Conditions for C ASL Architectural Specifications.	MFCS	2001	DBLP DOI BibTeX RDF	formal specification and program development, CASL, algorithms, decidability, architectural specifications, amalgamation
3	Xiaowen Chen, Tim Wahls	A graphical user interface for executing formal specifications.	SAC	2001	DBLP DOI BibTeX RDF	SPECS-C++, formal specifications, C++, user interface design, executable specifications
3	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
3	Huo Yan Chen, T. H. Tse, Tsong Yueh Chen	TACCLE: a methodology for object-oriented software testing at the class and cluster levels.	ACM Trans. Softw. Eng. Methodol.	2001	DBLP DOI BibTeX RDF	contact specifications, software testing, object-oriented programming, message passing, algebraic specifications
3	Franck Ledoux, Agnès Arnould, Pascale Le Gall, Yves Bertrand	Geometric Modelling with CASL.	WADT	2001	DBLP DOI BibTeX RDF	CASL language, specification methodology, formal specifications, geometric modelling, algebraic specifications
3	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
3	Calvin Ko	Logic Induction of Valid Behavior Specifications for Intrusion Detection. (PDF / PS)	IEEE Symposium on Security and Privacy	2000	DBLP DOI BibTeX RDF	Specification-based detection, Valid behavior specifications, Machine Learning, Intrusion detection, Inductive Logic Programming, ILP
3	Xavier Blanc, Marie-Pierre Gervais, Juliette Le Delliou	The Specifications Exchange Service of an RM-ODP Framework. (PDF / PS)	EDOC	2000	DBLP DOI BibTeX RDF	specifications exchange service, RM-ODP framework, LIP6, meta-modeling standards, standards, file system, EDF, MOF, XMI, open distributed systems, ORB
3	Huaikou Miao, Ling Liu	A Test Class Framework for Generating Test Cases from Z Specifications.	ICECCS	2000	DBLP DOI BibTeX RDF	test class framework, object-oriented concept, test case generation system, formal specification, oracles, test data, Z specifications, test framework, TCGS
3	Günther Fliedl, Christian Kop, Willi Mayerthaler, Heinrich C. Mayr, Christian Winkler	Linguistic Aspects of Dynamics in Requirements Specifications. (PDF / PS)	DEXA Workshops	2000	DBLP DOI BibTeX RDF	linguistic aspects, requirements specification dynamics, natural language requirement specifications, behavioral aspects, NTMS model, semantic contents, conceptual predesign model, automatic mapping, common conceptual models, UML, formal specification, application domain, linguistic analysis
3	Bhed Bahadur Bista, Y. Ujiie, K. Furuya, Kaoru Takahashi, Norio Shiratori	Support System for Constructing Communication Services and Protocols Based on Compositional Approach. (PDF / PS)	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
3	Liliana Favre, Liliana Martinez, Claudia Pereira	Transforming UML Static Models into Object-Oriented Code.	TOOLS	2000	DBLP DOI BibTeX RDF	UML static models, reuse based rigorous method, object oriented code generation, rigorous process, GSBL/sup OO/ language, SpReIm model, OCL specifications, object-oriented programming, software maintenance, software maintenance, specification languages, software reusability, program compilers, object-oriented languages, algebraic specification, algebraic specifications, reusable components, UML class diagrams, forward engineering, design artifacts
3	Didier Buchs, Nicolas Guelfi	A Formal Specification Framework for Object-Oriented Distributed Systems.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	algebraic Petri nets, distributed systems, Formal specifications, concurrency, object-orientation, refinement, algebraic specifications, subtyping
3	Pedro Sánchez, Patricio Letelier, Isidro Ramos	Animating Formal Specifications with Inheritance in a DL-Based Framework.	Requir. Eng.	1999	DBLP DOI BibTeX RDF	Animation of specifications, Requirements engineering, Inheritance, Object-oriented methods
3	Soon-Kyeong Kim, David A. Carrington	Visualization of Formal Specifications.	APSEC	1999	DBLP DOI BibTeX RDF	Visualization, UML, Formal Specifications, Z notation
3	Huaikou Miao, Xiaolei Gao, Ling Liu	An Approach to Testing the Nonexistence of Initial State in Z Specifications.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	constructed function, constrained states space, states space, Z specifications
3	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
3	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
3	William Chan, Richard J. Anderson, Paul Beame, Steve Burns, Francesmary Modugno, David Notkin, Jon Damon Reese	Model Checking Large Software Specifications.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	state-based specifications, Formal methods, requirements, binary decision diagrams, statecharts, software verification, symbolic model checking
3	Daniel Jackson, Somesh Jha, Craig Damon	Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	model finding, relational specifications, model checking, formal specification, symmetry, object models, pruning, relational calculus
3	Jean-Yves Lucas, Jean-Luc Dormoy, Bruno Ginoux, Claudia Jimenez-Dominguez, Laurent Pierre	How to Reconcile Formal Specifications and Automatic Programming: The Descartes System.	APSEC	1998	DBLP DOI BibTeX RDF	Mathematical-type language, Automated Software Design, Formal Specifications, Formal Methods, Automatic Programming
3	Hung T. Nguyen, Vladik Kreinovich	Using Gelfond-Przymusinska's epistemic specifications to justify (some) heuristic methods used in expert systems and intelligent control.	Soft Comput.	1997	DBLP DOI BibTeX RDF	Interval-valued degrees of belief, Epistemic specifications, Expert system, Intelligent control
3	Stephen Wang-Cheung Lam, Keith C. C. Chan, Hareton K. N. Leung, Lawrence Chung	A visual programming environment for Z specifications.	APSEC	1997	DBLP DOI BibTeX RDF	syntax checking, VZ, Visual Z, specification validation, logic proving, software tools, visual programming, icons, editing, glyphs, Z specifications, visual programming environment
3	Charles Lakos, Glenn Lewis	Animating Formal Specifications Using Java Applets.	TOOLS	1997	DBLP DOI BibTeX RDF	formal specifications, animation, Java applets, Object Petri Nets
3	J. M. Punshon, J. Paul Tremblay, Paul G. Sorenson, P. S. Findeisen	From Formal Specifications to Natural Language: A Case Study. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	REVIEW system, Metaview, formal specification, formal specifications, natural language, software specification, CASE environments
3	Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon	On the concurrent behaviour of SCR specifications. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	SCR specifications, concurrent behaviour, SCR method, tabular notations, Software Cost Reduction, mode transition tables, event tables, condition tables, real-time systems, finite state machines, finite state machine, requirements specification, state machines, timed transition systems, interleaving semantics
3	K. Brink, Jan van Katwijk, R. F. Lutje Spelberg, W. J. Toetenel	Experiences with analysis of formal specifications in Astral.	RTCSA	1997	DBLP DOI BibTeX RDF	temporal properties verification, simulation, formal specification, formal specifications, prototyping, specification language, timed automata, timing analysis, requirements specification, real-time software, Astral
3	Bénédicte Dano, Henri Briand, Franck Barbier	An Approach Based on the Concept of Use Case to Produce Dynamic Object-Oriented Specifications. (PDF / PS)	RE	1997	DBLP DOI BibTeX RDF	Requirements Engineering, CASE tool, Use Case, Object-oriented specifications
3	Shin Nakajima, Kokichi Futatsugi	An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ.	ICSE	1997	DBLP DOI BibTeX RDF	concurrent rewriting, excutable specifications, object-oriented modelinng, formal methods, algebraic specifications, OBJ, CafeOBJ
3	Bénédicte Dano, Henri Briand, Franck Barbier	Progressing Towards Object-Oriented Requirements Specifications by using the USE CASE Concept.	ECBS	1996	DBLP DOI BibTeX RDF	dynamic specifications, verification, requirements engineering, formalization, object-oriented analysis
3	José Luís Barros Justo	A repository to support requirement specifications reuse.	ISCNZ	1996	DBLP DOI BibTeX RDF	requirement specifications reuse, new developments, program bugs, design-by reuse methodology, design-for reuse methodology, representative descriptors, component engineering, classification, software tools, software quality, software reuse, time, computer aided software engineering, software repository, component reuse, abstraction levels, indexing techniques, software methodologies, software cost
3	Agnès Arnould, Pascale Le Gall, Bruno Marre	Dynamic Testing from Bounded Data Type Specifications.	EDCC	1996	DBLP DOI BibTeX RDF	bounded data types, test data set selection, formal specifications, software verification, functional testing
3	Mats Per Erik Heimdahl, Barbara J. Czerny	Using PVS to analyze hierarchical state-based requirements for completeness and consistency. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	hierarchical state based requirements specifications, input sequence, analysis procedures, large real world requirements specification, hierarchical state based language, Requirements State Machine Language, Prototype Verification System, theorem proving component, spurious error reports, formal specifications, robustness, consistency, program verification, completeness, Binary Decision Diagrams, BDDs, PVS, interactive environment, formal proofs, RSML
3	Alexander Borgida, John Mylopoulos, Raymond Reiter	On the Frame Problem in Procedure Specifications.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	frame assertion, semantics of specification languages, specifications, languages, inheritance, Formal, proof obligations
3	Xiaoping Jia	An approach to animating Z specifications. (PDF / PS)	COMPSAC	1995	DBLP DOI BibTeX RDF	ZANS approach, animation approaches, imperative intermediate language, formal specification, computer science education, specification languages, visual programming, computer aided software engineering, requirements validation, Z specifications, code synthesis, Z specification languages
3	Linda B. Sherrell, Doris L. Carver	FunZ Designs A Bridge between Z Specifications and Haskell Implementations. (PDF / PS)	COMPSAC	1995	DBLP DOI BibTeX RDF	intermediate specification language, Formal methods, functional programming, Haskell, software design, Z specifications
3	Krishna M. Kavi, Frederick T. Sheldon, Behrooz Shirazi, Ali R. Hurson	Reliability analysis of CSP specifications using Petri nets and Markov processes.	HICSS	1995	DBLP DOI BibTeX RDF	stochastic analyses, CSP-based system specifications, potential failure processes, recovery actions, user level specification, performance, formal specification, Petri nets, Petri nets, Markov processes, Markov processes, cost, functionality, system recovery, safety-critical software, failure analysis, reliability analysis, communicating sequential processes, user needs
3	J.-P. Jacquot, A. Valdenaire	Trading legibility against implementability in requirement specifications: an experimental assessment. (PDF / PS)	RE	1995	DBLP DOI BibTeX RDF	experimental assessment, elisions, flexible syntaxes, incomplete texts, GLIDER, rigorous assessment, term parsing, human factor features, formal specification, formal specifications, specification languages, specification language, requirement specifications, grammars
3	Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis	Consistency checking of SCR-style requirements specifications. (PDF / PS)	RE	1995	DBLP DOI BibTeX RDF	SCR-style requirements specifications, SCR tabular notation, application independent properties, domain coverage, formal requirements model, automated consistency checking, formal specification, data integrity, program verification, formal model, determinism, software development process, consistency checks, formal analysis, type correctness
3	Joseph E. Urban, Hankyu Joo	Executable specifications for distributed software systems.	FTDCS	1995	DBLP DOI BibTeX RDF	front-end life cycle, upper CASE aspects, core software requirements, management component, distributed development teams, techniques/tools component, specification language development, formal specification, Petri nets, distributed algorithms, distributed computing, software development, temporal logic, distributed processing, specification languages, computer aided software engineering, executable specifications, distributed software systems
3	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
3	K. Lano	Specifying static analysis tools using formal methods.	ICECCS	1995	DBLP DOI BibTeX RDF	static analysis tool specification, analysis functionality, static analysis toolset, diagrammatic analysis techniques, diagrammatic design techniques, well-structured specifications, comprehensible specifications, object-oriented structure, imperative programming culture, database culture, formal specification, formal specification, formal methods, software tools, specification languages, object-oriented methods, COBOL, structured programming, system monitoring, systems software, Z specification language, transformation functionality, industrial environment
3	Kevin Lano, S. J. Goldsack	Discrete event process controller synthesis using VDM/sup ++/.	ICECCS	1995	DBLP DOI BibTeX RDF	ignition, control system synthesis, heat systems, discrete event process controller synthesis, VDM/sup ++/, controller specification, gas burner system, systematic method, declarative requirement statements, abstract VDM/sup ++/ specifications, concrete VDM/sup ++/ specifications, formalised requirements, refinement process, real-time systems, formal specification, temporal logic, timing, specification languages, timing analysis, object-oriented languages, process control, parallel languages, discrete event systems, programmable controllers, controller design, Vienna development method, control system CAD, Ada95, real-time temporal logic, combustion
3	Gang Luo, Anindya Das, Gregor von Bochmann	Software Testing Based on SDL Specifications with Save.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	SDL specifications, signal save construct, SDL-machines, SDL-machine transformation, input/output relationship, formal specification, software testing, programming languages, finite state machines, finite state machines, program verification, specification languages, program testing, software verification, high-level specification
3	David W. Bustard, Adam C. Winstanley	Making Changes to Formal Specifications: Requirements and an Example.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	change technique, formal notation LOTOS, SCAFFOLD project, process-oriented notations, software engineering, formal specification, formal specifications, formal specification, software maintenance, tool, specification languages, process algebra, configuration management, concurrent systems, LOTOS, change control
3	Lloyd G. Williams	Assessment of Safety-Critical Specifications.	IEEE Software	1994	DBLP DOI BibTeX RDF	safety-critical system specifications, specification ambiguity, software cost reduction method, Vienna Definition Method, semantic capabilities, assessment criteria, formal specification, formal methods, formal verification, formal verification, software reliability, safety, software cost estimation, understandability, VDM, Vienna development method
3	Miguel Felder, Angelo Morzenti	Validating Real-Time Systems by History-Checking TRIO Specifications.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	formal specifications, first-order logic, requirements validation, model-theoretic semantics
3	Vincent van Oostrom, Erik P. de Vink	Transition System Specifications in Stalk Formal with Bisimulation as a Congruence.	STACS	1994	DBLP DOI BibTeX RDF	transition system specifications, Structured Operational Semantics, semantics of programming languages, bisimulation equivalence
3	José Ambrosio Toval Álvarez, Isidro Ramos, Oscar Pastor	Prototyping Object Oriented Specifications in an Algebraic Environment.	DEXA	1994	DBLP DOI BibTeX RDF	object-oriented prototyping, conceptual modelling, algebraic specifications, object-oriented specification