Search results for "specification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Takeshige Miyoshi, Motoei Azuma	An Empirical Study of Evaluating Software Development Environment Quality.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	software development environment quality, FASET, software quality evaluation process model, ISO/IEC 9126, algebraic specification method, function-oriented specification, natural-language-oriented specification, diagrammatic specification, state-transition-oriented, formal specification, specification, software quality, programming environments, declarative specification, model-based specification
8	M. Cecilia Bastarrica, Steven A. Demurjian, Alexander A. Shvartsman	Comprehensive Specification of Distributed Systems Using I5 and IOA.	SCCC	2000	DBLP DOI BibTeX RDF	distributed systems specification, incompatible components, IOA formal language, I5 specification framework, architectural definition, semantic specification, software architecture, formal specification, standardization, distributed processing, specification languages, specification language, communication protocols, configuration management, configuration management
8	Savi Maharaj, Juan Bicarregui	On the Verification of VDM Specification and Refinement with PVS. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	VDM specification, VDM formal method, PVS theorem prover, VDM-SL specification translation, PVS specification language, transparent translation methods, specification type-checking, nontrivial validation conditions, abstract specification, shallow embedding technique, verification, formal specification, proof rules
8	Aki Watanabe, Ken Sakamura	A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards.	ICSE	1996	DBLP BibTeX RDF	ITRON2 real time multi task operating system specification, SBATCG method, abstract state transitions, commercially available ITRON2 implementations, fault exposure abilities, open operating system standards, specification based adaptive test case generation strategy, real-time systems, formal specification, specification languages, program testing, open systems, templates, Z, operating systems (computers), multiprogramming, integration testing, mutation analysis, Z notation, software standards, formal specification languages, model based specification, fault detecting ability, internal structure
8	Nancy G. Leveson, Mats Per Erik Heimdahl, Holly Hildreth, Jon Damon Reese	Requirements Specification for Process-Control Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	aircraft instrumentation, example application, industrial aircraft collision avoidance system, TCAS II, example specification, formal requirements specification, formal specification, reverse engineering, specification languages, specification language, formal model, requirements specification, process control, aerospace computing, process-control systems, position control, process computer control
7	Soon-Kyeong Kim, David A. Carrington	An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study.	APSEC	2000	DBLP DOI BibTeX RDF	lighting control, Object-Z specifications, precise understandable specification, light control system, graphical specification technique, formal specification technique, semantic translation, real-time interactive embedded system, Unified Modeling Language, formal specification, case study, specification languages, systems analysis, object-oriented languages, object-oriented methods, diagrams, requirements elicitation, sequence diagrams, functional model, UML diagrams, integrated framework, use case diagrams, statechart diagrams
7	William G. Howerton, Michael G. Hinchey	Using the Right Tool for the Job.	ICECCS	2000	DBLP DOI BibTeX RDF	integration phases, development technique, informal specification techniques, abstract highly structured models, rigorous analysis, Air Force Weather Agency Standard Degribber, meteorological system, data decoding/encoding, World Meteorological Organization, standard Gridded Binary format, state based issues, complete specification, tool box approach, UML, formal specification, formal methods, semantics, software specification, specification technique, formal notation, modular approach, component specification, complex systems development
7	K. Brink, L. J. G. Bun, Jan van Katwijk, W. J. Toetenel	Hybrid specification of control systems.	ICECCS	1995	DBLP DOI BibTeX RDF	control system development, hybrid specification, formal software specification language, multidisciplinary development, control models, ASTRAL specifications, MatLab software packages, discrete subsystems, continuous subsystems, robot control system, continuous system models, simulation, simulation, formal specification, robots, formal verification, formal verification, specification languages, specification language, control theory, control theory, system behavior, control system CAD, discrete time systems, continuous time systems
7	Eduardo B. Fernández, Robert B. France	Formal specification of real-time dependable systems.	ICECCS	1995	DBLP DOI BibTeX RDF	real-time dependable systems, analyzable specifications, specification analysis techniques, fault-tolerant quality, security quality, safety-critical quality, behavioral quality, precise specification language, formal reasoning systems, nonfunctional qualities, multilevel description, real-time systems, formal specification, formal specification, specification languages, security of data, software fault tolerance, consistency check, safety-critical software, system monitoring
7	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
6	Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto	A GUI and testing tool for SOFL.	APSEC	2000	DBLP DOI BibTeX RDF	VDM-SL, SOFL specification construction, SOFL specification testing tool, formal specification, Petri nets, Petri nets, graphical user interfaces, graphical user interface, software tools, system design, specification languages, formal language, object-oriented languages, modules, object-oriented methods, object-oriented method, classes, system specification, flowcharting, data flow diagrams, structured method
6	Christopher Rouff, James L. Rash, Michael G. Hinchey	Experience Using Formal Methods for Specifying a Multi-Agent System.	ICECCS	2000	DBLP DOI BibTeX RDF	multi-agent system specification, Lights Out Ground Operations System, prototype multi agent system, satellite ground operations functions, NASA Goddard Space Flight Center, GSFC, specification exercise, specification process, sample specification, formal specification, formal methods, deadlocks, race conditions, LOGOS, omissions, development team
6	Frederick I. Moxley	On the specification of complex software systems.	ICECCS	1996	DBLP DOI BibTeX RDF	complex software systems specification, Defense Information Infrastructure, Common Operating Environment, distributed heterogeneous information systems, starwars missile defence system, formal specification, requirements specification, design specification
6	José A. Troyano, Jesús Torres, Miguel Toro	A technique for distributed systems specification.	PDP	1995	DBLP DOI BibTeX RDF	distributed systems specification, object-oriented specification language, dining philosophers problem, formal specification, distributed algorithms, distributed processing, concurrency control, specification languages, distributed programming, object-oriented languages, transition system, algebraic model, algebraic data types, object attributes, transition rules
6	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
6	Georg Lehrenfeld, Wolfgang Müller 0003, Christoph Tahedl	Transforming SDL Diagrams into a Complete Visual Representation. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	SDL diagrams, Pictorial Janus programs, timing concepts, Timed PJ, PJ, process diagrams, Ethernet CSMA/CD, formal specification, animation, specification, specification languages, specification language, visual programming, computer animation, visual languages, diagrams, program debugging, program interpreters, visual representation, protocol specification, visual debugging
6	Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang	A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	nonmonotonic Horn clause logic, formal requirement specification language, frame-and-rule oriented requirement specification language, FRORL, surface syntax, hierarchical relationships, formal specification, object oriented, knowledge representation, prototyping, specification languages, inheritance, reusability, frames, software development environment, C language, production rules, multiple inheritance, Horn clauses, logic programming languages, executability, hybrid knowledge representation
6	Christopher Paul Gerrard, Derek Coleman, Robin M. Gallimore	Formal Specification and Design Time Testing.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	design time testing, executable specification language OBJ, formal specification, formal specification, specification languages, regularity, uniformity
5	Victor V. Kuliamin, Nick V. Pakoulin, Alexandre Petrenko	Practical Approach to Specification and Conformance Testing of Distributed Network Applications.	ISAS	2005	DBLP DOI BibTeX RDF	asynchronous events specification, distributed system specification, formalization of standards, automated test construction, specification extension of programming language, test oracle generation, UniTesK, model based testing, conformance testing, Design by Contract
5	Stacy J. Prowell, Jesse H. Poore	Foundations of Sequence-Based Software Specification.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	sequence-based specification, trace specification, consistency, completeness, correctness, requirements analysis, Software specification
5	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, CASE tool, computer aided software engineering, information system design
5	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
5	Michihiro Matsumoto, Kokichi Futatsugi	The support tool for highly reliable component-based software development.	APSEC	2000	DBLP DOI BibTeX RDF	reliable component-based software development support tool, output reliability, automated refinement verification, automated connector generation, tree architecture, projection-style behavioral specification, refined specification, component combination, Java, software architecture, formal specification, formal verification, software tools, software reliability, requirements specification, subroutines, distributed object management, JavaBeans, development systems, component-based software architecture
5	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
5	Sun-Jen Huang, Richard Lai	Estimating the size of an Estelle specification for a communication protocol. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	Estelle specification size estimation, software size models, formal communication protocol development, informal specification, formal specification
5	Perfecto Mariño, Francisco Poza, Miguel Angel Domínguez, Juan B. Nogueira	Formal specification applied to industrial LAN's design.	EUROMICRO	1997	DBLP DOI BibTeX RDF	industrial LAN design, real-time field bus, PROFIBUS, industrial communication networks, data link layer, FDL, formal specification, formal specification, prototyping, software tools, methodology, LOTOS, data types, performance tests, formal specification language
5	Dieter Fensel, Arno Schönegge	Using KIV to Specify and Verify Architectures of Knowledge-Based Systems. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	reusable elements, Karlsruhe interactive verifier, algorithmic specification, interactive theorem prover, proof management, proof reuse, formal specification, formal specifications, knowledge-based systems, specification language, abstract data types, dynamic logic, functional specification
5	Kentaro Go, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori	Automatic modification of a protocol specification based on changes of a service specification. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	verification, formal specification, protocols, validation, Labelled Transition System, service specification, protocol specification
5	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
5	Chia-Chu Chiang, Joseph E. Urban	Incremental Elicitation and Formalization of User Requirements through Rapid Prototyping via Software Transformations. (PDF / PS)	COMPSAC	1996	DBLP DOI BibTeX RDF	incremental elicitation, user specifications, TUG formal specification language, abstract execution, change request scripts, specification changes, timely updates, telegram analysis problem, formal specification, specification languages, rapid prototyping, formalization, software prototyping, user requirements, software transformations
5	Jian Chen, Richard H. Carver	Selecting and mapping test sequences from formal specifications of concurrent programs. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	test sequence selection, incremental testing, specification partitioning, constraint-style Lotos specification, abstract test sequences, concrete test sequences, Ada implementation, formal specification, formal specifications, concurrent programs, specification-based testing, state explosion problem
5	Bhed Bahadur Bista, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori	A flexible protocol synthesis method for adopting requirement changes. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	flexible protocol synthesis method, requirement changes adoption, communicating entities, maintenance issue, protocol synthesis method, formal specification language LOTOS, formal specification, protocols, software maintenance, specification languages, protocol specification
5	Alberto Del Bimbo, Luigi Rella, Enrico Vicario	Visual Specification of Branching Time Temporal Logic. (PDF / PS)	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, parallel processing, formal specification, 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
5	Jun'ichi Miyao, Shi-Kuo Chang	A Framework of a Visual Language with Dynamic Specification. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	dynamic specification, complex software behavior, object oriented visual language, formal specification, time, user profile, visual programming, visual languages, visual language, object-oriented languages, snapshot, overlap, sweep, visualized specification, dynamic objects, input data
5	J. William Atwood, Y. Zhang	A definition of the XTP service and its formal specification. (PDF / PS)	LCN	1995	DBLP DOI BibTeX RDF	XTP service, Xpress Transfer Protocol, transport-level protocol, network-level protocol, unicast environment, multicast environment, specification architecture, data type definitions, process structures, distributed systems, real-time systems, real-time systems, formal specification, formal specification, local area networks, transport protocols, multimedia systems, multimedia systems, open systems, LOTOS
5	P. Forsgren, T. Rahkonen	Specification of customer and user requirements in industrial control system procurement projects. (PDF / PS)	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
5	Flavio Bonfatti, Paola Daniela Monari, Gianni Gadda	Bridging structural and software design of PLC-based system families.	ICECCS	1995	DBLP DOI BibTeX RDF	PLC-based system families, product complexity, European Union funded projects, family-based product modelling technique, ESPRIT project 8224-RUMS, structural design phase, object-oriented PLC specification language, ESPRIT/ESSI project 10542-EASIER, software design phase, software engineering, formal specification, object-oriented programming, specification languages, software design, requirement specification, structural design, programmable controllers, system structure, control software
5	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
5	Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein	A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	heterogeneous components, multiple ViewPoints, partial requirements specifications, inter-ViewPoint communication, ViewPoints framework, requirements specification method, computer-based ViewPoints support, The Viewer, formal specification, requirements specification, CORE, multiple views, consistency checking, inconsistency management
5	Daniel L. Kiskis, Kang G. Shin	SWSL: A Synthetic Workload Specification Language for Real-Time Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	SWSL, synthetic workload specification language, synthetic workload generator, executable synthetic workload, operation level, control constructs, synthetic operations, real-time workloads, performance evaluation, performance, real-time systems, real-time systems, formal specification, distributed processing, specification languages, distributed real-time systems, data flow graph, dependability measurements
5	Wolfgang A. Halang, Bernd J. Krämer	Safety Assurance in Process Control.	IEEE Software	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
5	Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli	A Formal Framework for ASTRAL Intralevel Proof Obligations.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	intralevel proof obligations, formal software development, mathematical correctness, ASLAN, TRIO, real-time systems, real-time systems, verification, formal specification, formal specification, formal methods, finite state machines, program verification, specification languages, state machines, formal specification language, formal proof, timing requirements, ASTRAL
5	François Lustman	Specifying Transaction-Based Information Systems with Regular Expressions.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	transaction-based information systems, interactive information systems, transformational paradigm, classical Waterfall development model, transaction-oriented method, concurrent regular expressions, operational requirements, connect/disconnect transactions, all-or-nothing principle, serial product automaton, concurrent expression, formal specification, formal specification, information systems, systems analysis, systems analysis, transaction processing, formal language, regular expressions, software specification, SPA, high-level specification
5	Giancarlo Nota, Giuliano Pacini	Querying of Executable Software Specifications.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	executable software specifications, requirements specification phase, external events, language RSQ, RSF, formal specification, query languages, specification languages, specification languages, querying, rapid prototyping, software designer, time constraints, software prototyping
5	G. A. Venkatesh, Charles N. Fischer	SPARE: A Development Environment For Program Analysis Algorithms.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	program analysis specifications, high-level specification language, SPARE, structured program analysis refinement environment, denotational specification, formal specification, testing, software tools, software tools, programming environments, specification languages, program testing, development environment, correctness proofs
5	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
5	Fevzi Belli, Karl-Erwin Großpietsch	Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions-Approach and Case Study.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	fault tolerance properties, formal overview, sequential behavior, single-system components, model layers, stepwise-refined specification, multistory shelving system model, formal specification, formal specification, Petri nets, fault tolerant computing, software reliability, redundancy, error detection, regular expressions, system behavior, complex software systems, predicate/transition net, system description
5	Pamela Zave	An Insider's Evaluation of PAISLey.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	PAISLey, analysis techniques, formal specification, software tools, software tools, specification languages, executable specification, specification methods
5	Reg G. Willson, Bruce H. Krogh	Petri Net Tools for the Specification and Analysis of Discrete Controllers.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Petri net tools, discrete controllers, discrete-state systems, rule-based state-variable-specification formalism, interconnected state machines, reduced reachability graphs, discrete manufacturing systems, modeling, formal specification, Petri nets, specification, controllers, computerised control, discrete systems
5	Allan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing, Amy Moormann Zaremski	Miró: Visual Specification of Security.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Miro, visual specification of security, file system security, instance language, security specification problems, tools, specification languages, visual programming, security of data, constraint language, arrows, boxes
5	F. Keith Hanna, Neil Daeche, Mark Longley	Veritas+: A Specification Language Based on Type Theory.	Hardware Specification, Verification and Synthesis	1989	DBLP DOI BibTeX RDF	Formal verification, Specification languages, Type theory
5	Ed Brinksma	Constraint-Oriented Specification in a Constructive Formal Description Technique.	REX Workshop	1989	DBLP DOI BibTeX RDF	constraint-oriented specification, multi-way synchronization, specification styles, synchronization by association, formal specification, refinement, process algebra, LOTOS, parallel composition, conjunction
5	R. K. Shyamasundar, James W. Thatcher	Language Constructs for Specifying Concurrency in CDL*.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	CDL* concurrency specification, dynamically allocating resources, CDL*, distributed programming languages, parallel programming, data integrity, data integrity, anonymity, specification languages, mutual exclusion, expressiveness, specification techniques, modular specification, language constructs, abstraction mechanisms, dynamic resource management
4	Fayçal Bessayah, Ana R. Cavalli, Eliane Martins	A formal approach for specification and verification of fault injection process.	Int. Conf. Interaction Sciences	2009	DBLP DOI BibTeX RDF	fault specification, formal methods, fault injection, trace analysis, security testing, time specification
4	Leila Jemni Ben Ayed, Fatma Siala	Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B.	DSV-IS	2008	DBLP DOI BibTeX RDF	Multi-Agent System, verification, specification, Event B, AUML
4	Florian Klein, 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
4	Pavlína Vareková, Barbora Zimmerova	Subject-observer specification with component-interaction automata.	SAVCBS	2007	DBLP DOI BibTeX RDF	dynamic number of components, verification, specification, component-based systems, software modelling, finite-state systems
4	Jörg Ackermann, Klaus Turowski	A Library of OCL Specification Patterns for Behavioral Specification of Software Components.	CAiSE	2006	DBLP DOI BibTeX RDF	Component-Based Information Systems, Software Component Specification, OCL Specification Patterns
4	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
4	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
4	Gabriel Ciobanu, Dorel Lucanu	Specification and Verification of Synchronizing Concurrent Objects.	IFM	2004	DBLP DOI BibTeX RDF	hidden algebra, model checking, integration, temporal logics, Algebraic specification, concurrent systems, CCS, object-oriented specification
4	Murali Kaundinya, Ali Syed	Modeling event driven applications with a specification language (MEDASL).	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	DASL/OQL, application usage specification (AUS), business object specification (BOS), domain-specific-languages (DSL), model driven development, enterprise application integration (EAI)
4	Murali Kaundinya, Ali Syed	Modeling event driven applications with a specification language (MEDASL).	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	DASL/OQL, application usage specification (AUS), business object specification (BOS), domain-specific- languages (DSL), model driven development, enterprise application integration (EAI)
4	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
4	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
4	Sandrine Blazy, Frédéric Gervais, Régine Laleau	Reuse of Specification Patterns with the B Method.	ZB	2003	DBLP DOI BibTeX RDF	Design pattern, reuse, B, specification pattern
4	Ella E. Roubtsova, L. C. M. van Gool, Ruurd Kuiper, H. B. M. Jonkers	Consistent specification of interface suites in UML.	Software and System Modeling	2002	DBLP DOI BibTeX RDF	Consistency of several views, Specification model, UML, Component specification
4	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
4	Yingxu Wang	Real-Time Process Algebra and Its Applications.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF	descriptive mathematics, 3-D problems, static/dynamic behaviors specification, Software engineering, real-time systems, formal methods, algebraic specification, architecture specification
4	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
4	Christine Choppy, Pascal Poizat, Jean-Claude Royer	Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation.	FASE	2001	DBLP DOI BibTeX RDF	mixed specification, symbolic transition systems, Korrigan, UML, formal specification, graphical notation
4	Henrikas Pranevicius	The Use of Aggregate and Z Formal Methods for Specification and Analysis of Distributed Systems.	ADBIS	2001	DBLP DOI BibTeX RDF	aggregate approach, logistics centre, simulation, Distributed systems, formal specification, validation, Z specification language
4	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
4	Li Shuguang, Jiang Qing, 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
4	Martin Glinz	Problems and Deficiencies of UML as a Requirements Specification Language.	IWSSD	2000	DBLP BibTeX RDF	model, UML, decomposition, use case, requirements specification
4	Ravi Balakrishnan	A Service Framework Specification for Dynamic e-Services Interaction. (PDF / PS)	EDOC	2000	DBLP DOI BibTeX RDF	service framework specification, dynamic e-services interaction, totally inter-operable ecosystem, business-to-consumer, supply chain automation, collaborative e-commerce, trading exchanges, e-speak Service Framework Specification, truly inter-operable ecosystem, XML based business process schemas, electronic commerce, ecosystems, e-procurement, business-to-business, intelligent interaction
4	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
4	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
4	Chris Matthews, Paul A. Swatman	Fuzzy concepts and formal methods: some illustrative examples.	APSEC	2000	DBLP DOI BibTeX RDF	fuzzy concepts, problem types, fuzzy logic toolkit, problem domains, soft preconditions, linguistically quantified propositions, modelling, formal specification, formal methods, fuzzy logic, information systems, requirements engineering, uncertainty, specification languages, specification languages, formal modelling, fuzzy set theory, fuzzy set theory, uncertainty handling, fuzzy relations, system requirements, imprecision, Z language
4	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
4	Aki W. Tomita, Ken Sakamura	Improving Design Dependability by Exploiting an Open Model-Based Specification.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	formal specification, Software testing, Z, software fault tolerance, specification-based testing, on-line error detection
4	Arthur Alexander Reyes, Debra J. Richardson	Siddhartha: A Method for Developing Domain-Specific Test Driver Generators. (PDF / PS)	ASE	1999	DBLP DOI BibTeX RDF	unit under test, low testability, unit test driver, driver generator, formal test specification, formal specification, domain-specific language, specification-based testing
4	Martin C. Henson, Steve Reeves	Revising Z: Part II - Logical Development.	Formal Asp. Comput.	1999	DBLP DOI BibTeX RDF	Specification language Z, Logics of specification languages, Semantics of specification languages
4	Martin C. Henson, Steve Reeves	Revising Z: Part I - Logic and Semantics.	Formal Asp. Comput.	1999	DBLP DOI BibTeX RDF	Specification language Z, Logics of specification languages, semantics of specification languages
4	Charles Pecheur	Specification and Verification of the Co4 Distributed Knowledge System using LOTOS. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	Co/sub 4/ distributed knowledge system, consensual decision protocol, distributed knowledge base, ISO formal description technique, knowledge consistency, verification, formal specification, formal specification, safety, LOTOS, liveness properties
4	Bettina Sucrow	Formal Specification of Human-Computer Interaction by Graph Grammars under Consideration of Information Resources. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	design stages, environmental cues, flight management system, human-computer interaction, formal specification, formal specification, interactive system, safety-critical system, graph grammars, information resources, aircraft, flight deck
4	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
4	Fabiano Borges Paulo, Paulo Cesar Masiero, Maria Cristina Ferreira de Oliveira	Hypercharts: extended statecharts to support hypermedia specification.	ICECCS	1997	DBLP DOI BibTeX RDF	hypercharts, extended statecharts, hypermedia specification, information synchronization requirements, timed history, timed transitions, Petri net based multimedia models, statechart models, hypermedia, synchronization mechanisms, temporal specification
4	Anthony M. Sloane	Generating Dynamic Program Analysis Tools.	Australian Software Engineering Conference	1997	DBLP DOI BibTeX RDF	dynamic program analysis tool generation, instrumentation based systems, analysis algorithm specification, implicit storage allocation, automatic sequencing, Wyong system, analysis module specification, Eli compiler generation system, ATOM program instrumentation system, instrumentation code, ATOM instrumented binary, specification based method, instrumentation based implementation, automatic programming, attribute grammars, data sources, dynamic structure
4	Carl K. Chang, Yi-Te Tseng, Ugo Buy	Compiling process algebraic specifications into timed automata. (PDF / PS)	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
4	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
4	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
4	Ramkumar V. Pichai, Joseph E. Urban	A technique for validating Booch object-oriented designs from extensions to the Descartes specification language. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	Booch object-oriented design validation, Descartes specification language, executable specification language, traceability approach, real time systems, software reliability, rapid prototyping, object-oriented methods, CASE tool, safety critical software, secure systems, software validation, high assurance systems
4	Krishna Kishore Dhara, Gary T. Leavens	Forcing Behavioral Subtyping through Specification Inheritance.	ICSE	1996	DBLP BibTeX RDF	code reverification, specification inheritance, formal specification, object-oriented programming, C++, message passing, inheritance, object-oriented software, behavioral subtyping
4	Lo Ko, Christopher A. Healy, Emily Ratliff, Robert D. Arnold, David B. Whalley, Marion G. Harmon	Supporting the specification and analysis of timing constraints. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	timing constraints analysis, real-time programmers, user-friendly environment, user specification, real-time systems, user interface, formal specification, timing, synchronisation, timing constraints, computer aided software engineering, C language, C program, project support environments
4	Yong Sun, Hongji Yang	Communication Mechanism Independent Protocol Specification Based on CSP: A Case Study.	EUROMICRO	1996	DBLP DOI BibTeX RDF	communication mechanism independent protocol specification, abstract synchronous communication mechanism, asynchronous communication mechanisms, computer network protocols, specification, communicating sequential processes, communicating sequential processes, alternating bit protocol, communication mechanism
4	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
4	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
4	Miroslav Svéda	Embedded system design: a case study.	ECBS	1996	DBLP DOI BibTeX RDF	pumps, embedded distributed systems, dispenser control, local time concept, system-wide global clock, environment specification, system functional specification, logical structure description, petrol pumping station, explosion danger, uncontrolled petrol flow, real-time systems, formal specification, prototyping, distributed processing, controller, implementation, systems analysis, synchronisation, flow control, safety critical system, clocks, distributed control, software prototyping, safety-critical software, embedded system design, counter, control system CAD
4	Torsten Braun, Isabelle Chrisment, Christophe Diot, François Gagnon, Laurent Gautier	ALFred, a Protocol Compiler for the Automated Implementation of Distributed Applications. (PDF / PS)	HPDC	1996	DBLP DOI BibTeX RDF	protocol compiler, ALFred, end-to-end communication functions, high performance implementation, control compiler, ALF compiler, data manipulation compiler, ILP compiler, high performance communication architectures, formal specification, formal specification, protocols, distributed processing, specification languages, software design, distributed applications, program compilers, software performance evaluation, software prototyping, software prototyping, ESTEREL, communication architecture, data handling