Search results for "specification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
31	J. Jenny Li, Joseph Robert Horgan	chi-SUDS-SDL: A Tool for Diagnosis and Understanding Software Specifications.	APSEC	1999	DBLP DOI BibTeX RDF	cSuds and Specification and Description Language (SDL), Software specification, debugging tool, coverage testing
30	Motoshi Saeki	Behavioral specification of GOF design patterns with LOTOS.	APSEC	2000	DBLP DOI BibTeX RDF	gang-of-four design patterns, LOTOS simulator, composite and command patterns, formal specification, object-oriented programming, specification languages, object-oriented methods, software patterns, behavioral specification
30	Jesús Manuel Almendros-Jiménez, Luis González-Jiménez	The LAST project: development of a formal method for IS-specification and of a CASE-tool for IS-design.	APSEC	2000	DBLP DOI BibTeX RDF	LAST project, information system specification, LAST-UML, user interfaces, user interface, formal method, information systems, specification languages, linear algebra, linear algebra, algebraic specification, set theory, set theory, computer aided software engineering, CASE tool, information system design
30	Mohamed Bettaz, Mourad Maouche, Kamel Barkaoui	Formal Specification of Communication Protocols with Object-Based ECATNets.	EUROMICRO	1996	DBLP DOI BibTeX RDF	object-based ECATNets, specification framework, Ethernet protocol, formal specification, formal specification, Petri nets, prototyping, communication protocols, abstract data types, rewriting logic, rewriting system
30	Patrik Forsgren, Tomas Rahkonen	Specification of customer and user requirements in industrial control system procurement projects.	RE	1995	DBLP DOI BibTeX RDF	power system control, user requirements specification, customer requirements specification, industrial control system procurement projects, power industries, manufacturing industries, process industries, customer expectations, major users, major vendors, performance, formal specification, costing, functionality, process control, distributed control, software systems, computer systems, user needs, consultants, industrial control, SCADA systems, load management
30	Alberto Del Bimbo, Luigi Rella, Enrico Vicario	Visual Specification of Branching Time Temporal Logic.	VL	1995	DBLP DOI BibTeX RDF	branching time temporal logic, ordering relationships, visual shell, recursive syntax, mathematical notation, recursive visualization rules, generative approach, generic textual formula visualisation, 3D virtual space, branching time formulae, complex formulae, formal specification, parallel processing, parallelism, temporal logic, specification languages, visual languages, visual language, data visualisation, graphic representation, nesting, descriptive language, visual specification, time-varying systems, time-varying systems, execution sequencing
30	Venkatesh Akella, Ganesh Gopalakrishnan	Specification and Validation of Control-Intensive IC's in hopCP.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	control-intensive integrated circuits, hopCP, asynchronous operations, multiple concurrent threads, Intel 8251, Universal Synchronous/Asynchronous Receiver/Transmitter, USART, synchronous message passing, distributed shared variables, asynchronous ports, compiled-code concurrent functional simulator, CFSIM, formal specification, formal methods, formal verification, specification, validation, message passing, specification languages, interrupt, digital simulation, hardware description language, microprocessor chips, hardware design, polling, computational requirements, synchronous operations
30	Martin D. Fraser, Kuldeep Kumar, Vijay K. Vaishnavi	Informal and Formal Requirements Specification Languages: Bridging the Gap.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	informal languages, requirements specification languages, rule-based method, payroll system, payroll data processing, formal specification, specification languages, systems analysis, formal languages, formal languages, structured analysis, VDM, Vienna development method
30	Brian T. Graham, Graham M. Birtwistle	Formalising the Design of an SECD chip.	Hardware Specification, Verification and Synthesis	1989	DBLP DOI BibTeX RDF
30	Warren A. Hunt Jr., Bishop Brock	The Verification of a Bit-slice ALU.	Hardware Specification, Verification and Synthesis	1989	DBLP DOI BibTeX RDF
30	Kenneth J. Turner	Formalising Graphical Behaviour Descriptions.	AMAST	2004	DBLP DOI BibTeX RDF	Graphical Specification, Lotos (Language Of Temporal Ordering Specification), SDL (Specification and Description Language), Voice Service
30	Tony Savor, Rudolph E. Seviora	Improving the efficiency of supervision by software through state aggregation.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	private telephone exchanges, supervisory software, software supervision, real time failure detection, real time system monitoring, running time complexity, specification processes, software supervisor, ITU Specification and Description Language, small private branch telephone exchange, SDL processes, telecom switching software, real-time systems, computational complexity, formal specification, fault diagnosis, telecommunication computing, state transitions, telecommunication control, computerised monitoring, inputs queues, state aggregation
30	Wolfgang A. Halang, Bernd J. Krämer	Safety Assurance in Process Control.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	safety assurance, PLC software safety, safety-critical control, algebraic language, Obj3 system, functional programming environment, formal specification, formal specifications, formal verification, formal verification, functional programming, software reliability, safety, interpreter, requirements specification, process control, data representation, programmable logic controllers, programmable controllers, design specification, specification testing, Obj, function blocks, process computer control
29	Lifeng Zhou, Hung Keng Pung, Lek Heng Ngoh	Towards Semantic Modeling for QoS Specification.	LCN	2006	DBLP DOI BibTeX RDF
29	Hiroshi Ishikawa 0003	A Specification Construction Unit-Based Editor for Z.	COMPSAC (2)	2005	DBLP DOI BibTeX RDF
29	Ann E. Kelley Sobel, Richard C. Linger	Advances in Software Specification and Verification - Minitrack Introduction.	HICSS	2001	DBLP DOI BibTeX RDF
29	Ann E. Kelley Sobel, Richard C. Linger	Advances in Software Specification and Verification - Introduction.	HICSS	2000	DBLP DOI BibTeX RDF
29	Bart Jacobs 0001	Exercises in Coalgebraic Specification.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
29	Juei Chang, Debra J. Richardson	Structural Specification-Based Testing: Automated Support and Experimental Evaluation.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF
29	Bard Bloom	Structured Operational Semantics as a Specification Language.	POPL	1995	DBLP DOI BibTeX RDF
29	V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee 0001	Merlin: specification inference for explicit information flow problems.	PLDI	2009	DBLP DOI BibTeX RDF	security analysis tools, specification inference
29	Fernando Herrera, Eugenio Villar	A framework for heterogeneous specification and design of electronic embedded systems in SystemC.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	SystemC, models of computation, Heterogeneous specification
29	C. J. Michael Geisterfer, Sudipto Ghosh	Software Component Specification: A Study in Perspective of Component Selection and Reuse.	ICCBSS	2006	DBLP DOI BibTeX RDF	component based development, component reuse, component selection, component specification
29	Edward L. Jones	Test-driven specification: paradigm and automation.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	specification-driven testing, state box, model-based testing, decision table, functional coverage
29	Mathew Graves, Mohammad Zulkernine	Bridging the gap: software specification meets intrusion detector.	PST	2006	DBLP DOI BibTeX RDF	attack languages, intrusion detection, software security, software specification
29	Sascha Konrad, Betty H. C. Cheng	Real-time specification patterns.	ICSE	2005	DBLP DOI BibTeX RDF	embedded systems, formal specification, patterns, real-time requirements
29	Néstor Cataño, Marieke Huisman	Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java.	FME	2002	DBLP DOI BibTeX RDF	ESC/Java, Java, specification, smart cards, static checking
29	Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno	Applicability of Non-Specification-Based Approaches to Logic Testing for Software.	DSN	2001	DBLP DOI BibTeX RDF	factor covering design, software testing, logic testing, mutation analysis, boolean specification
29	Rémi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre	Formal specification of CORBA services: experience and lessons learned.	OOPSLA	2000	DBLP DOI BibTeX RDF	distributed systems, CORBA, CORBA, high-level Petri nets, behavioral specification
29	Luigia Carlucci Aiello, Fabio Massacci	An Executable Specification Language for Planning Attacks to Security Protocols.	CSFW	2000	DBLP DOI BibTeX RDF	Model Checking, Verification, Logic Programs, Planning, Specification Language, Security Protocols
29	Leonid A. Kalinichenko	Compositional Specification Calculus for Information Systems Development.	ADBIS	1999	DBLP DOI BibTeX RDF	compositional specification calculus, type compositions, most common reducts, type refinement, type lattice, compositional information systems development
29	Pascal Poizat, Christine Choppy, Jean-Claude Royer	Concurrency and Data Types: A Specification Method: An Example with LOTOS.	WADT	1998	DBLP DOI BibTeX RDF	constraint oriented, state oriented, specification, method, LOTOS, automaton
29	Nobuyuki Miura, Haruhiko Kaiya, Motoshi Saeki	Building the Structure of Specification Documents from Utterances of Requirements Elicitation Meetings.	APSEC	1995	DBLP DOI BibTeX RDF	Specification Document, Requirements Elicitation, Conversation Analysis, Face-to-face Meeting
28	Fayçal Bessayah, Ana R. Cavalli, Eliane Martins	A formal approach for specification and verification of fault injection process.	ICIS	2009	DBLP DOI BibTeX RDF	fault specification, formal methods, fault injection, trace analysis, security testing, time specification
28	Badis Tebbani, Issam Aib	GXLA a Language for the Specification of Service Level Agreements.	Autonomic Networking	2006	DBLP DOI BibTeX RDF	SLA Specification, Service Level Agreement, Self Configuration, Policy Based Management, Policy Specification
28	Pierfrancesco Bellini, R. Mattonlini, Paolo Nesi	Temporal logics for real-time system specification.	ACM Comput. Surv.	2000	DBLP DOI BibTeX RDF	logic specification languages, metric of time, specification model, real-time, temporal logics, modal logic, reactive systems, temporal constraints, temporal relationships
28	Shuguang Li, Qing Jiang, Chris George	Combining case-based and model-based reasoning: a formal specification.	APSEC	2000	DBLP DOI BibTeX RDF	generalised design information, rule language, formal specification, formal specification, data structures, retrieval, selection, case-based reasoning, case-based reasoning, model-based reasoning, model-based reasoning, intelligent design assistants, abstraction mechanism
28	Aniello Cimitile, Andrea De Lucia, Malcolm Munro	Identifying reusable functions using specification driven program slicing: a case study.	ICSM	1995	DBLP DOI BibTeX RDF	reusable function identification, specification driven program slicing, code fragment isolation, functional abstractions, program statement execution, program predicate execution, entry points, exit points, algorithms, formal specification, software maintenance, software reusability, data flow analysis, symbolic execution, precondition, program diagnostics, dependence graphs, symbol manipulation, control flow graphs, program control structures, C programs, postcondition
28	Andrew Kay, Joy N. Reed	A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	rely method, telephone exchange, guarantee method, timed communicating sequential processes, telephone service, troublesome race conditions, telephone exchanges, formal specification, specification, safety, liveness, communicating sequential processes, telecommunications computing
28	Yiannis E. Papelis, Thomas L. Casavant	Specification and Analysis of Parallel/Distributed Software and Systems by Petri Nets With Transition Enabling Functions.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	parallel/distributed software, transition enabling functions, TEFs, decision-making activities, analytical properties, PNs, TEFs, parallel/distributed software, formal specification, parallel programming, Petri nets, Petri nets, specification, distributed computing systems, expressive power
28	Robert B. France	Semantically Extended Data Flow Diagrams: A Formal Specification Tool.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	formal specification tool, semantic decompositions, formal specification, systems analysis, diagrams, data transforms, semantic properties, dataflow diagram, application functionality
28	Gilbert Babin, François Lustman, Peretz Shoval	Specification and Design of Transactions in Information Systems: A Formal Approach.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	conventional information systems development, manual checking, transformational paradigm, ADISSA notation, transaction-oriented refinement, structured systems analysis, hierarchical set, formal specification, formal specification, data integrity, finite state machine, systems analysis, transaction processing, requirements specifications, finite automata, FSM, structured programming, formal approach
28	William G. Wood	A Specification of the Cat and Mouse Problem.	REX Workshop	1991	DBLP DOI BibTeX RDF	system engineering analysis, formal specification, Real-time specification
28	Che-Fn Yu, Virgil D. Gligor	A Specification and Verification Method for Preventing Denial of Service.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	failure absence, integrity violations, user agreements, simultaneity conditions, denial-of-service prevention, formal specification, concurrent programs, security of data, specification method, verification method
28	Christine Choppy, Pascal Poizat, Jean-Claude Royer	Formal Specification of Mixed Components with Korrigan.	APSEC	2001	DBLP DOI BibTeX RDF	mixed specification, Korrigan specification languag, Formal specification, components, reuse
28	Gregor von Bochmann, Michel Raynal	Structured Specification of Communicating Systems.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	step-wise refinement, specification consistency, parallel processing, specification language, design verification, Communication processes, ports, interface specifications, specification methods, distributed system design
28	Bartek Klin	Structural Operational Semantics for Weighted Transition Systems.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
28	Christiano Braga	A Constructive Semantics for Basic Aspect Constructs.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
28	Luiz Carlos Castro Guedes, Edward Hermann Haeusler	Action Algebras and Model Algebras in Denotational Semantics.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
28	Padmanabhan Krishnan, Percy Antonio Pari Salas	Model-Based Testing and the UML Testing Profile.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
28	Raul Camposano	Behavior-Preserving Transformations for High-Level Synthesis.	Hardware Specification, Verification and Synthesis	1989	DBLP DOI BibTeX RDF
28	Randal E. Bryant	Verification of Synchronous Circuits by Symbolic Logic Simulation.	Hardware Specification, Verification and Synthesis	1989	DBLP DOI BibTeX RDF
28	David A. Basin, Peter Del Vecchio	Verification Of Combinational Logic in Nuprl.	Hardware Specification, Verification and Synthesis	1989	DBLP DOI BibTeX RDF
28	Geoffrey M. Brown, Miriam Leeser	From Programs to Transistors: Verifying Hardware Synthesis Tools.	Hardware Specification, Verification and Synthesis	1989	DBLP DOI BibTeX RDF
28	Derek Coleman, Robin M. Gallimore	Partial Correctness of Distributed Programs.	Program Specification	1981	DBLP DOI BibTeX RDF
28	Flaviu Cristian	Robust Data Types.	Program Specification	1981	DBLP DOI BibTeX RDF	Key-words and phrases Data Abstraction, Partial Operations, Total Operations, Software Engineering, Program Verification, Exception Handling
28	Karlheinz Agsteiner, Dieter Monjau, Sören Schulze	Automating system construction by domain based approaches.	EUROMICRO	1997	DBLP DOI BibTeX RDF	system construction, domain based approaches, target system, abstract system specification, formal specification, specification, requirements, VHDL, digital systems, object-oriented approach, RISC processors
28	Xiaoqing Frank Liu, John Yen	An Analytic Framework for Specifying and Analyzing Imprecise Requirements.	ICSE	1996	DBLP BibTeX RDF	conflicting requirements, cooperative requirements, formal specification methods, implicit conflicts, imprecise requirements specification, informal requirements, irrelevant requirements, mutually exclusive requirements, relative priorities, formal specification, fuzzy logic, systems analysis, requirements analysis, conflict resolution, trade-off analysis, requirement change
28	Sudhir Aggarwal, Sandeep Mitra, Sanjay S. Jagdale	DCCA: a versatile paradigm for the description and development of concurrent communicating systems.	HICSS (2)	1995	DBLP DOI BibTeX RDF	DCCA, concurrent communicating systems development, concurrent communicating systems description, Dynamic Coordinated Concurrent Activities, automated factory, multiprocessor cache coherence system, attendant toolset, model, distributed systems, software engineering, formal specification, formal specification, protocols, specification, prototyping, distributed processing, program verification, rapid prototyping, software prototyping, distributed control system
28	Abdul Waheed, Vincent F. Melfi, Diane T. Rover	A model for instrumentation system management in concurrent computer systems.	HICSS (2)	1995	DBLP DOI BibTeX RDF	parallel application software development, performance related parameter space, run-time tools, performance tuning aids, performance specification, speed characteristics, Portrayal Specification Language, performance evaluation, parallel programming, reverse engineering, monitoring, software tools, specification languages, performance prediction, data flow analysis, software performance evaluation, dataflow, parallel applications, control flow, program diagnostics, execution trace, program execution
28	Jin Song Dong, Gordon A. Rose, Roger Duke	The role of secondary attributes in formal object modelling.	ICECCS	1995	DBLP DOI BibTeX RDF	secondary attributes role, formal object modelling, secondary attributes, formal object-oriented specification, formal specification, formal specification, object-oriented programming, attribute grammars
28	Giovanni Chiola, Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte	Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	qualitative behavior, firing probabilities, net-level specification, model specification, performance evaluation, formal specification, Petri nets, stochastic processes, structural analysis, structural properties, generalized stochastic Petri net
28	Pamela Zave, Michael Jackson 0001	Conjunction as Composition.	ACM Trans. Softw. Eng. Methodol.	1993	DBLP DOI BibTeX RDF	compositional specification, multiparadigm specification, practical specification
27	Greg Reeve, Steve Reeves	mu-Charts and Z: examples and extensions.	APSEC	2000	DBLP DOI BibTeX RDF	mu-Charts, reactive systems specification, local variables, integer-valued signals, formal specification, specification languages, specification language, statecharts, systems development, Z language, command language
27	Ana C. R. Paiva, João C. P. Faria, Raul F. A. M. Vidal	Specification-Based Testing of User Interfaces.	DSV-IS	2003	DBLP DOI BibTeX RDF
27	Chang-Yu Wang, Kishor S. Trivedi	Integration of Specification for Modeling and Specification for System Design.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
27	Jantima Polpinij, Aditya Ghose	An Automatic Elaborate Requirement Specification By Using Hierarchical Text Classification.	CSSE (1)	2008	DBLP DOI BibTeX RDF
27	Lichen Zhang, Lihua Wang	Aspect-oriented formal specification for multimedia systems.	AICCSA	2008	DBLP DOI BibTeX RDF
27	Joey W. Coleman	Determining the Specification of a Control System: An Illustrative Example.	RODIN Book	2006	DBLP DOI BibTeX RDF
27	Partha S. Roop, Arcot Sowmya	Hidden time model for specification and verification of embedded systems.	ECRTS	1998	DBLP DOI BibTeX RDF
27	Shamus P. Smith	Exploring the Specification of Haptic Interaction.	DSV-IS	2006	DBLP DOI BibTeX RDF	interaction specification, usability, Virtual environments, haptic interaction, design tools
27	Saeid Arabestani, Friedemann Bitsch, Jan-Tecker Gayen	Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF	safety requirements specification, safety patterns, radio-based train control system (FFB), UML, object orientation, level crossing
27	Eerke A. Boiten	Loose Specification and Refinement in Z.	ZB	2002	DBLP DOI BibTeX RDF	model containment, states-and-operations, loose specification, semantics, refinement, Z
26	Song-lin Yang, Hong-qin Zhang, Yong-cheng An, Hai-bian Cheng, Wu-xing He	Ship structure knowledge-based military specification virtual test system's design.	ICIS	2009	DBLP DOI BibTeX RDF	knowledge-based military specification, ship structure, virtual test
26	Lars Grunske	Specification patterns for probabilistic quality properties.	ICSE	2008	DBLP DOI BibTeX RDF	csl, pctl, pctl*, probabilistic quality, probabilistic quality patterns, security, performance, reliability, safety, specification patterns
26	Ondrej Sery, Frantisek Plásil	Slicing of Component Behavior Specification with Respect to Their Composition.	CBSE	2007	DBLP DOI BibTeX RDF	Software architecture reuse, Components-based software engineering, Behavior specification
26	Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer	A grounded specification language for agent programs.	AAMAS	2007	DBLP DOI BibTeX RDF	agent specification language, agent programming language
26	Peter Csaba Ölveczky, José Meseguer 0001, Carolyn L. Talcott	Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Real-time systems, Active networks, Formal analysis, Rewriting logic, Object-oriented specification, Multicast protocols
26	Zhicheng Wen, Huaikou Miao, Hongwei Zeng	Generating Proof Obligation to Verify Object-Z Specification.	ICSEA	2006	DBLP DOI BibTeX RDF	formal specification, Object-Z, proof obligation
26	David Lo 0001, Siau-Cheng Khoo	SMArTIC: towards building an accurate, robust and scalable specification miner.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	clustering traces, filtering errors, specification mining
26	Fernando Herrera, Eugenio Villar	A framework for embedded system specification under different models of computation in SystemC.	DAC	2006	DBLP DOI BibTeX RDF	SystemC, heterogeneous specification
26	Sandeep S. Kulkarni, Ali Ebnenasir	The Effect of the Specification Model on the Complexity of Adding Masking Fault Tolerance.	IEEE Trans. Dependable Secur. Comput.	2005	DBLP DOI BibTeX RDF	safety specification, Fault-tolerance, formal methods, program synthesis, automatic addition of fault tolerance
26	Jing Sun 0002, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik	SVG Web Environment for Z Specification Language.	ICFEM	2005	DBLP DOI BibTeX RDF	Z formal specification language, Web based tool support, Scalable Vector Graphics
26	Eugene Goldberg	On equivalence checking and logic synthesis of circuits with a common specification.	ACM Great Lakes Symposium on VLSI	2005	DBLP DOI BibTeX RDF	common specification, scalable equivalence checking, scalable logic synthesis, toggle equivalence
26	Yanhong Sun, Edward L. Jones	Specification-driven automated testing of GUI-based Java programs.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	test specification language, test automation, test engine
26	Takayuki Wakabayashi, Hiroaki Takada	Standardization approach of ITRON debugging interface specification and evaluation of its adaptability.	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	ITRON specification, OS-aware debugging environment, cross development system environment
26	Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray	A Specification and Validation Technique Based on STATEMATE and FNLOG.	ICFEM	2002	DBLP DOI BibTeX RDF	Semi-formal methods, Real-time Systems, Verification, Formal methods, Integration, Specification, Temporal logic, Validation
26	Eric Cariou, Antoine Beugnard	The Specification of UML Collaborations as Interaction Components.	UML	2002	DBLP DOI BibTeX RDF	UML collaborations, specification methodology, interaction abstractions, interaction components
26	Françoise Bellegarde, Samir Chouali, Jacques Julliand	Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions.	ZB	2002	DBLP DOI BibTeX RDF	B event systems1, fairness hypotheses, PLTL verification, specification
26	Michael Johnson, Robert D. Rosebrugh	View Updatability Based on the Models of a Formal Specification.	FME	2001	DBLP DOI BibTeX RDF	formal specification, database, information system, conceptual modelling, data model, category theory, View update
26	Barrett R. Bryant	Object-Oriented Natural Language Requirements Specification.	ACSC	2000	DBLP DOI BibTeX RDF	Unified Modeling Language (UML), natural language, object-oriented design, requirements specification, software development environment, Two-Level Grammar
26	Saeko Matsuura, Shinichi Honiden	Knowledge Acquisition and Integration on Specification Change-A Method for Systematic Reuse.	APSEC	1995	DBLP DOI BibTeX RDF	Reuse, Knowledge Acquisition, Software Process, Case-Based Reasoning, Program Synthesis, Formal Specification Language
26	Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen	Refinement and Composition of Transition-based Rely-Guarantee Specification with Auxiliary Variables.	FSTTCS	1990	DBLP DOI BibTeX RDF	Rely-guarantee specification, transition systems, compositional verification, safety properties, shared variables
26	Edgar G. Daylight, Sandeep K. Shukla	On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study.	FM	2009	DBLP DOI BibTeX RDF	adaptability, non-functional requirements, formal specification languages, local reasoning
26	Pierluigi San Pietro, Angelo Morzenti, Sandro Morasca	Generation of Execution Sequences for Modular Time Critical Systems.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	time critical systems, modular notations, formal specifications, Functional testing, structural testing, specification testing
26	Florian Klein 0001, Holger Giese	Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams.	FASE	2007	DBLP DOI BibTeX RDF	Visual Specification Language, Temporal Logic, Property Specification
26	Aynur Abdurazik, Paul Ammann, Wei Ding 0003, A. Jefferson Offutt	Evaluation of Three Specification-Based Testing Criteria.	ICECCS	2000	DBLP DOI BibTeX RDF	PROBSUBSUMES measure, specification-mutation coverage, full predicate coverage, transition-pair coverage, program testing, specification-based testing, testing criteria, model checker
26	Hassan Gomaa, Shaoying Liu, Michael E. Shin	Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language.	ICECCS	2000	DBLP DOI BibTeX RDF	domain modeling method, families of systems, SOFL formal specification language, multiple view object oriented analysis model, aggregation hierarchies, generalization/specialization hierarchies, UML static modeling notation, object communication diagrams, SOFL condition data flow diagram notation, variant classes, specification languages, application domain
26	J. Jenny Li, Hong Liu, Rudolph E. Seviora	Constructing automated protocol testing oracles to accommodate specification nondeterminism.	ICCCN	1997	DBLP DOI BibTeX RDF	automated protocol testing oracles, specification nondeterminism, test inputs, test outputs, automated output checking, and-state method, concurrent system states generation, Specification and Description Language, automatic testing, random testing, SDL, experimental results, nondeterminism, network system, computational cost reduction
26	Chie Dou	Formal Specification of Communication Protocols Based on a Timed-SDL: Validation and Performance Prospects.	EUROMICRO	1996	DBLP DOI BibTeX RDF	Timed-SDL, performance prospects, CCITT Z.100, probabilistic specifications, performance evaluations, real time systems, formal specification, formal specification, validation, communication protocols, SDL, temporal properties, telecommunication systems, formal notation