Search results for "specifications"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Hartmut Ehrig, Eric G. Wagner, James W. Thatcher	Algebraic Specifications with Generating Constraints.	ICALP	1983	DBLP DOI BibTeX RDF
15	Jan A. Bergstra, Manfred Broy, John V. Tucker, Martin Wirsing	On the Power of Algebraic Specifications.	MFCS	1981	DBLP DOI BibTeX RDF
15	Hans-Dieter Ehrich	Extensions and Implementations of Abstract Data Type Specifications.	MFCS	1978	DBLP DOI BibTeX RDF
15	Patricia P. Griffiths, Charles J. Prenner	Verifying Formal Specifications of Synchronous Processes.	POPL	1976	DBLP DOI BibTeX RDF
14	Jean-François Dufourd	An Intuitionistic Proof of a Discrete Form of the Jordan Curve Theorem Formalized in Coq with Combinatorial Hypermaps.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Computer-aided proofs, Coq system, Combinatorial hypermaps, Discrete Jordan Curve Theorem, Formal specifications, Computational topology, Planar subdivisions
14	Nicolae Paladi, Thomas Arts	Model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheck.	Erlang Workshop	2009	DBLP DOI BibTeX RDF	QuickCheck, amnesia, formal specifications, model based testing, erlang, business rules
14	Christopher Robinson-Mallett, Robert M. Hierons, Jesse H. Poore, Peter Liggesmeyer	Using communication coverage criteria and partial model generation to assist software integration testing.	Softw. Qual. J.	2008	DBLP DOI BibTeX RDF	Timed state-based specifications, Distributed systems, Integration Testing, Coverage criteria
14	Hugo Rego, Tiago Moreira, Erla Morales Morgado, Francisco José García-Peñalvo	Metadata and Knowledge Management Driven Web-Based Learning Information System.	WSKS (2)	2008	DBLP DOI BibTeX RDF	IMS Specifications, Knowledge Management, e-Learning, Metadata Management
14	Paolo A. G. Sivilotti, Stacey A. Laugel	Scratching the surface of advanced topics in software engineering: a workshop module for middle school students.	SIGCSE	2008	DBLP DOI BibTeX RDF	K-12 outreach, specifications, refinement, scratch
14	Martin Raubal	Representing Concepts in Time.	Spatial Cognition	2008	DBLP DOI BibTeX RDF	representation, algebraic specifications, concepts, time geography, Conceptual spaces
14	Bin Chen 0018, George S. Avrunin, Elizabeth A. Henneman, Lori A. Clarke, Leon J. Osterweil, Philip L. Henneman	Analyzing medical processes.	ICSE	2008	DBLP DOI BibTeX RDF	medical processes, model checking, finite-state verification, property specifications
14	Danny Ayers	A Difficult Abstraction.	IEEE Internet Comput.	2007	DBLP DOI BibTeX RDF	development specifications, RESTful systems, Webscience, Web 2.0, systems development, Web 3.0
14	Stefan Poslad	Specifying protocols for multi-agent systems interaction.	ACM Trans. Auton. Adapt. Syst.	2007	DBLP DOI BibTeX RDF	Multi-Agent systems, semantics, specifications, social interaction, deployment, autonomy
14	Andy Vickers	Satisfying Business Problems.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	REVEAL, requirements statement, specification statement, domain statement, rich traceability, satisfaction argument, business problems, specifications, requirements engineering, traceability, systems engineering
14	Hugo Rego, Tiago Moreira, Francisco José García-Peñalvo	A Web-Based Learning Information System - AHKME.	WISE	2007	DBLP DOI BibTeX RDF	Web-Based Learning Information Systems, IMS Specifications, Knowledge Management, e-Learning, Metadata, Learning Object
14	Daniel Sinnig, Maik Wurdel, Peter Forbrig, Patrice Chalin, Ferhat Khendek	Practical Extensions for Task Models.	TAMODIA	2007	DBLP DOI BibTeX RDF	cooperative task models, modularization, specialization, Task specifications
14	Polyhronis Spanoudakis, Nikos Tsourveloudis, Kimon P. Valavanis	Design Considerations of a Prototype VTOL Robotic Vehicle through Market Survey Data Collection.	J. Intell. Robotic Syst.	2006	DBLP DOI BibTeX RDF	drop test, vertical take-off and landing, unmanned aerial vehicle, design specifications
14	Feisal Keblawi, Dick Sullivan	Applying the Common Criteria in Systems Engineering.	IEEE Secur. Priv.	2006	DBLP DOI BibTeX RDF	protection profiles, aviation security, software engineering, requirements analysis, systems engineering, requirements specifications, security engineering, Common Criteria
14	Artur Boronat, José A. Carsí, Isidro Ramos	Algebraic Specification of a Model Transformation Engine.	FASE	2006	DBLP DOI BibTeX RDF	Model Transformation, Model-Driven Engineering, Traceability, Algebraic Specifications, QVT
14	Marcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, T. S. E. Maibaum	Reasoning about static and dynamic properties in alloy: A purely relational approach.	ACM Trans. Softw. Eng. Methodol.	2005	DBLP DOI BibTeX RDF	fork algebras, relational specifications, Alloy
14	Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski	High-Level Nets with Nets and Rules as Tokens.	ICATPN	2005	DBLP DOI BibTeX RDF	High-level net models, algebraic high-level nets, nets and rules as tokens, integration of net theory and graph transformations, case study: House of Philosophers, graph grammars and Petri net transformations, algebraic specifications
14	Fumiko Nagoya, Shaoying Liu, Yuting Chen	A Tool and Case Study for Specification-Based Program Review.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF	Rigorous review, verification, formal specifications, inspection
14	Natasha Sharygina, James C. Browne, Fei Xie, Robert P. Kurshan, Vladimir Levin	Lessons Learned from Model Checking a NASA Robot Controller.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	component-oriented software development, executable design specifications, abstraction, software verification, compositional reasoning
14	Kevin Lano, David Clark 0001, Kelly Androutsopoulos	UML to B: Formal Verification of Object-Oriented Models.	IFM	2004	DBLP DOI BibTeX RDF	UML-RSDS, Graphical Specifications, UML, B
14	Quentin Limbourg, Jean Vanderdonckt	Addressing the mapping problem in user interface design with UsiXML.	TAMODIA	2004	DBLP DOI BibTeX RDF	concrete user interface, final user interface, user interface extensible markup language (UsiXML), adaptation, specifications, abstraction, task model, domain model, user interface description language, abstract user interface, reification, mapping problem, transformation model, model mapping
14	Bernhard K. Aichernig	Mutation Testing in the Refinement Calculus.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Formal specifications, Formal methods, Refinement, Abstraction, Test case generation, Mutation testing, Test coverage
14	Pasquale Caianiello, Stefania Costantini, Eugenio G. Omodeo	An Environment for Specifying Properties of Dyadic Relations and Reasoning about Them: I: Language Extension Mechanisms.	Theory and Applications of Relational Structures as Knowledge Instruments	2003	DBLP DOI BibTeX RDF	Calculus of relations, logic programming, relation algebras, algebraic specifications, computational logic
14	Gwen Salaün, J. Christian Attiogbé	Formalising an Integrated Language in PVS.	ICFEM	2003	DBLP DOI BibTeX RDF	Formal Method Integration, Equivalence Proof, Embedding, Process Algebra, Algebraic Specifications, PVS
14	Gabor Karsai, Aditya Agrawal	Graph Transformations in OMG's Model-Driven Architecture: (Invited Talk).	AGTIVE	2003	DBLP DOI BibTeX RDF	formal specifications, model-driven architecture, graph transformations, Graph grammars, Model-Integrated Computing, domain-specific modeling languages
14	Ann E. Kelley Sobel, Michael R. Clarkson	Formal Methods Application: An Empirical Tale of Software Development.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	formal methods, software specifications, software engineering curriculum
14	Richard Conn	Software Systems Requirements.	ACM J. Educ. Resour. Comput.	2002	DBLP DOI BibTeX RDF	Consortium Requirements Engineering, Evolutionary Spiral Model, Requirements-Based Testing, development requirements specifications interactively, documenting requirements, dynamics of interviewing, deriving and validating software requirements, problem domain modeling, rapid prototyping aids, requirements engineering methodologies, user/customer involvement, UML, formal methods, Z, extracting, SPARK
14	Gennaro Costagliola, Vincenzo Deufemia, Filomena Ferrucci, Carmine Gravino	Using extended positional grammars to develop visual modeling languages.	SEKE	2002	DBLP DOI BibTeX RDF	automatic generation of visual programming environments, extended positional grammars, formal specifications, visual languages, statecharts
14	Jan Jürjens	A UML statecharts semantics with message-passing.	SAC	2002	DBLP DOI BibTeX RDF	Unified Modeling Language (UML), UML, message-passing, statecharts, formal semantics, executable specifications
14	Ralf H. Reussner, Iman Poernomo, Heinz W. Schmidt	Using the TrustME Tool Suite for Automatic Component Protocol Adaptation.	International Conference on Computational Science (2)	2002	DBLP DOI BibTeX RDF	component protocol specifications, automatic component adaptation, parameterised contracts, distributed middleware platforms, architectural description languages
14	Sergey Baranov, Vsevolod Kotlyarov	Automation of Design and Development of Embedded Software on the Basis of a Strictly Defined Software Architecture.	COMPSAC	2001	DBLP DOI BibTeX RDF	Consistency and Completeness of Requirements, Software Architecture, Formal Specifications
14	Slawomir Lasota 0001	Behavioural Constructor Implementation for Regular Algebras.	LPAR	2000	DBLP DOI BibTeX RDF	regular algebras, behavioural constructor implementation, proofs of behavioural properties, Algebraic specifications, observational equivalence
14	Joachim Biskup, David W. Embley	Mediated Information Gain.	IDEAS	2000	DBLP DOI BibTeX RDF	mediated information gain, human burden, algorithmically tractable subtasks, quality level, mediation task, formal information state, returned answer, internal consistency maintenance, relevant source parts, searching, information systems, implementation, embeddings, querying, completeness, rules, correctness, user interactions, updating, sensor fusion, high-level architecture, iteration, schema, precision, revisions, heterogeneous data sources, instance, query specifications
14	Ivana Mikic, Kohsia S. Huang, Mohan M. Trivedi	Activity Monitoring and Summarization for an Intelligent Meeting Room.	Workshop on Human Motion	2000	DBLP DOI BibTeX RDF	microphones, intelligent meeting room, multimodal sensor network, static cameras, interesting events, multi-person interactions, past-event reviews, active network control procedures, real-time system, summarization, active vision, cameras, arrays, intelligent environments, office automation, activity monitoring, microphone arrays, system specifications, integration framework, computerised monitoring, image processing equipment, office environment, active cameras
14	Yan Xia, Anthony Tung Shuen Ho, YuCheng Zhang	CIMO - Component Integration MOdel.	APSEC	2000	DBLP DOI BibTeX RDF	CIMO, Component Integration Model, binary interface standard, specialized software components, component interoperation, scalable component-based applications, formal specification, specifications, object-oriented methods, asynchronous communication, subroutines, distributed object management, synchronous communication, Component Object Model
14	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
14	Takeshi Chusho, Hisashi Ishigure, Naoyuki Konda, Tomoaki Iwata	Component-based application development on architecture of a model, UI and components.	APSEC	2000	DBLP DOI BibTeX RDF	component-based application development, M-base application development environment, message-driven model, message flow a, transition diagrams, external specifications, IPSJ sigRE group, distributed systems, user interfaces, user interface, software architecture, groupware, computation model, object-oriented model, object-oriented methods, diagrams, domain model, cooperative work, personal computing, subroutines, modeling tool, simulation tool, end-user computing, system behavior, application architecture, feasibility study
14	Jifeng He 0001, C. A. R. Hoare	Unifying theories of healthiness condition.	APSEC	2000	DBLP DOI BibTeX RDF	healthiness condition theory, programming notations, nondeterministic programming, probabilistic program, formal specifications, parallel programming, logic programming, programming languages, algebraic specification, programming theory, programming theory, Boolean algebra, Boolean algebra, sequential programming, design optimisation, algebraic laws
14	Balkhis Abu Bakar, Tomasz Janowski	Automated Result Verification with AWK.	ICECCS	2000	DBLP DOI BibTeX RDF	AWK, result-based specifications, formal specification, formal verification, specification, software components, error detection, program generators, result-verification, result verification
14	Jarmo Harju, Yevgeni Koucheryavy, Juha Laine, Sampo Saaristo, Kalevi Kilkki, Jussi P. O. Ruutu, Heikki Waris, Juha Forsten, Juha Oinonen	Performance Measurements and Analysis of TCP Flows in a Differentiated Services WAN.	LCN	2000	DBLP DOI BibTeX RDF	differentiated services WAN, file transmission, drop precedence levels, nonreal time traffic, service level specifications, background traffic, test network, core network, SIMA model, performance evaluation, performance analysis, transport protocols, performance measurements, wide area networks, telecommunication traffic, overload, real time traffic, ISP, network nodes, FTP, Finland, traffic conditions, TCP flows, traffic profiles
14	Tetsuji Imajo, Tatsuki Miyake, Shinobu Sato, Toshiyuki Ito, Daisuke Yokotsuka, Yoshihide Tsujihata, Shunsuke Uemura	COBOL Script: A Business-Oriented Scripting Language.	EDOC	2000	DBLP DOI BibTeX RDF	COBOL Script, business-oriented scripting language, Web-oriented script language, language specifications, COBOL85, decimal arithmetic functions, COBOL processing system, account-related applications, test debugger, large-scale development projects, COBOL, business information systems, Web computing
14	Silvia Teresita Acuña, Mabel del V. Sosa	An Integral Software Process Formal Model based on the SOCCA Approach.	SCCC	2000	DBLP DOI BibTeX RDF	integral software process formal model, SOCCA approach, Capacity-Centered Integral Software Process Model, CCISPM, object-oriented modeling approach, Specifications of Coordinated and Cooperative Activities, software engineering, object-oriented programming, knowledge based systems, knowledge-based systems, design process
14	Wolfgang Schreiner, Werner Danielczyk-Landerl, Mircea Marin, Wolfgang Stöcher	A Generic Programming Environment for High-Performance Mathematical Libraries.	Generic Programming	1998	DBLP DOI BibTeX RDF	generic libraries, specifications, computer algebra, functors
14	Marjan Mernik, Mitja Lenic, Enis Avdicausevic, Viljem Zumer	The Template and Multiple Inheritance Approach into Attribute Grammars.	ICCL	1998	DBLP DOI BibTeX RDF	language specifications, attribute grammars, compiler Generators
14	Fernando J. Barros	Modeling Formalisms for Dynamic Structure Systems.	ACM Trans. Model. Comput. Simul.	1997	DBLP DOI BibTeX RDF	dynamic structure systems specifications, parallel modeling formalisms
14	Dennis Mulcare	Striving for coherency to mitigate the complexity of system design.	ECBS	1997	DBLP DOI BibTeX RDF	system design complexity, software system complexity, design product, functional architecture, embedded systems, systems analysis, design process, architectural design, system requirements, system specifications
14	Francois Le Coat, Edwige E. Pissaloux, Patrick Bonnin, Thierry Garié, François Durbin, André Tissot	A Parallel Algorithm for a Very Fast 2D Velocity Field Estimation.	ICIP (2)	1997	DBLP DOI BibTeX RDF	very fast 2D velocity field estimation, autonomous robot navigation, trajectory matching, parallel dynamic programming circuit, multi-resolution process, parallel algorithm, dynamic programming, motion estimation, optical flow, image matching, real time applications, functional specifications, low complexity
14	Hany H. Ammar, Tooraj Nikzadeh, Joanne Bechta Dugan	A Methodology For Risk Assessment Of Functional Specification Of Software Systems Using Colored Petri Nets.	IEEE METRICS	1997	DBLP DOI BibTeX RDF	software systems analysis, complex real time software systems, analysis/design phase, heuristic risk assessment technique, severity measures, heuristic risk factor, software functional specifications, dynamic complexity measures, concurrency complexity, severity analysis, failure mode and effect analysis, software metrics, software components, risk assessment, colored Petri nets, functional specification, complexity metrics, large scale software system
14	Christian Stary, Nikolas Vidakis, Stefan Mohacsi, Markus Nagelholz	Workflow-oriented prototyping for the development of interactive software.	COMPSAC	1997	DBLP DOI BibTeX RDF	workflow-oriented prototyping, interactive software development, workflow specifications, implementation-independent layer, TADEUS, user interface, software prototyping, design representations, redesign, system functions
14	Ed Huai-hsin Chi, Phillip Barry, John Riedl, Joseph A. Konstan	A spreadsheet approach to information visualization.	INFOVIS	1997	DBLP DOI BibTeX RDF	spreadsheet approach, multidimensional datasets, complex data set, viewing specifications, inter-cell operations, domain-specific operators, data operations, viewing parameters, view operations, information visualization, data types, prototype systems, data complexity, selection criteria, spreadsheet programs
14	Monika Kapus-Kolar	Employing disruptions for more efficient functionality decomposition in LOTOS.	EUROMICRO	1997	DBLP DOI BibTeX RDF	functionality decomposition transformation, Basic LOTOS specifications, external behaviour, expected service, specified service actions, pairwise communication, common actions, unbounded reliable first in first out channels, inter component communication, synchronisation message receptions, specification languages, disruptions
14	Zdzislaw Splawski	Synchronization mechanisms for multimedia streams and their specification in timed LOTOS.	EUROMICRO	1997	DBLP DOI BibTeX RDF	Timed LOTOS specification, temporal event ordering, TE-LOTOS, intra stream synchronization, dynamic inter stream synchronization strategies, Time Stream Petri Nets, multimedia synchronization scenarios, synchronization requirements, formal specifications, multimedia streams, multimedia computing, distributed multimedia applications, synchronization mechanisms, synchronization constraints
14	Gerald C. Gannod, Betty H. C. Cheng	A Formal Automated Approach for Reverse Engineering Programs with Pointers.	ASE	1997	DBLP DOI BibTeX RDF	reverse engineering programs, formal automated approach, formal specification, formal specifications, reverse engineering, programming language, formal semantics, pointers
14	James L. Caldwell	Moving Proofs-As-Programs into Practice.	ASE	1997	DBLP DOI BibTeX RDF	proofs-as-programs, constructive type theory, correct-by-construction programs, inductive proofs, Nuprl rewrite system, fixed-point combinators, untyped lambda calculus, specifications, partial evaluation, lambda calculus, hierarchical verifications
14	Hassan Gomaa, Ghulam A. Farrukh	Automated Configuration of Distributed Applications from Reusable Software Architectures.	ASE	1997	DBLP DOI BibTeX RDF	reusable software architectures, automated configuration, reuse-oriented perspective, configurable distributed applications, reusable specifications, predefined component types, distributed processing, domain engineering
14	Elena Ferrari, Pierangela Samarati, Elisa Bertino, Sushil Jajodia	Providing flexibility in information flow control for object oriented systems.	S&P	1997	DBLP DOI BibTeX RDF	information flow control flexibility, exception specification, waivers, invoke-waivers, reply-waivers, information transmission, security specifications, safe information flows, access control, object-oriented programming, authorizations, transaction, object oriented systems, interaction modes
14	Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou	Analysing the behaviour of distributed software architectures: a case study.	FTDCS	1997	DBLP DOI BibTeX RDF	distributed software architecture, software behaviour analysis, behavioural specifications, compositional reachability analysis, composite system models, active badge system, distributed processing, case study, software components, labelled transition systems
14	Gerald C. Gannod, Betty H. C. Cheng	Using Informal and Formal Techniques for the Reverse Engineering of C Programs.	WCRE	1996	DBLP DOI BibTeX RDF	informal techniques, higher level abstraction, programming methods, code correctness, ground-based command system, unmanned flight systems, spacecraft control, formal specifications, reverse engineering, reverse engineering, object-oriented programming, software maintenance, program understanding, legacy system, system re-engineering, formal techniques, C programs, program semantics
14	Stephen S. Yau, Jun Wang	A Framework for an Integrated Tool Set for Object-Oriented Analysis of Application Software Development.	COMPSAC	1996	DBLP DOI BibTeX RDF	integrated tool set, application software development, distributed parallel systems, object-oriented code generation, textual specifications, object-oriented design phase, integrated tools set, parallel programming, object-oriented programming, software tools, program verification, computer aided software engineering, CASE tools, object-oriented analysis, graphical representations, object-oriented software development, sequential systems
14	Pallavi Shah	Multimedia on the Internet.	COMPSAC	1996	DBLP DOI BibTeX RDF	cross-platform interoperability, international standards, ISO/MPEG specifications, standardized universal interface, broadcast capability, RSVP network control protocol, Internet, Internet, multimedia, digital library, protocols, multicasting, multimedia systems, open systems, packet scheduling, routers, quality of service guarantees, telecommunication standards, open standards, video communication, Sun Microsystems, ISO standards, network infrastructure
14	Chia-Chu Chiang, Joseph E. Urban	Incremental Elicitation and Formalization of User Requirements through Rapid Prototyping via Software Transformations.	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
14	Côme Rozon	On the Use of VHDL as a Multi-Valued Logic Simulator.	ISMVL	1996	DBLP DOI BibTeX RDF	multi-valued logic simulator, ternary circuits, simulation, VHDL, logic CAD, functionality, circuit analysis computing, hardware description languages, digital circuits, multivalued logic circuits, timing specifications
14	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
14	Ghassan Al Hayek, Yves Le Traon, Chantal Robach	Considering Test Economics in the Process of Hardware/Software Partitioning.	EUROMICRO	1996	DBLP DOI BibTeX RDF	hardware/software testing, specifications, logic testing, estimate, testability, co-design, mutation-test, hardware/software partitioning, test economics
14	Young-Kuk Kim, Sang Hyuk Son	Supporting predictability in real-time database systems.	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	multiple predictability levels, read times, transaction processing scheme, operating environment changes, critical transaction completion guarantees, correctness criterion, predictable transaction execution, data temporal consistency, deadline miss ratio minimization, simulation, performance, real-time systems, adaptability, specifications, data integrity, software reliability, transaction processing, database theory, temporal databases, timing constraints, software performance evaluation, serializability, temporal constraints, prediction theory, real-time database systems, transaction scheduling
14	Talib Damij	Tabular application development.	ISCNZ	1996	DBLP DOI BibTeX RDF	tabular application development, TAD, stable data structures, entity tables, method specifications, algorithms, user models, business processes, process model, object model, interviews, application generators
14	Robert B. Norwood, Edward J. McCluskey	Synthesis-for-scan and scan chain ordering.	VTS	1996	DBLP DOI BibTeX RDF	synthesis-for-scan procedure, scan chain ordering, testable circuit design, beneficial scan, VLSI, logic testing, integrated circuit testing, design for testability, logic design, sequential circuits, logic synthesis, flip-flops, integrated circuit design, integrated logic circuits, test strategy, boundary scan testing, functional specifications
14	S. K. Gupta, M. M. Hasan	KANSYS: a CAD tool for analog circuit synthesis.	VLSI Design	1996	DBLP DOI BibTeX RDF	KANSYS, analog circuit synthesis, knowledge intensive hierarchical design, transistor circuit designs, functional circuits, knowledge based systems, hierarchy, integrated circuit design, circuit CAD, CAD tool, analogue integrated circuits, design knowledge, process specifications
14	Pierre Bieber	Formal Techniques for an ITSEC-E4 Secure Gateway.	ACSAC	1996	DBLP DOI BibTeX RDF	ITSEC-E4 secure gateway, interactive theorem prover, Information Technology Security Evaluation Criteria, formal specification, security policy, security architecture, formal technique, functional specifications
14	Ettore Merlo, Pierre-Yves Gagné, Jean-Francois Girard, Kostas Kontogiannis, Laurie J. Hendren, Prakash Panangaden, Renato de Mori	Reengineering User Interfaces.	IEEE Softw.	1995	DBLP DOI BibTeX RDF	specifications abstraction, user interfaces, Reverse engineering, process algebra, flow analysis
14	Riccardo Focardi, Roberto Gorrieri, V. Panini	The security checker: a semantics-based tool for the verification of security properties.	CSFW	1995	DBLP DOI BibTeX RDF	security checker, semantics-based tool, security properties verification, security process algebra, concurrency workbench, formal specification, formal verification, specifications, process algebra, confidentiality, security of data, automatic verification
14	Michael Jackson 0001	Problems and requirements (software development).	RE	1995	DBLP DOI BibTeX RDF	program requirements, simple subproblems, formal specification, specifications, systems analysis, domain knowledge, application domain, problem frames
14	Steve M. Easterbrook, Bashar Nuseibeh	Managing inconsistencies in an evolving specification.	RE	1995	DBLP DOI BibTeX RDF	evolving specification, recurrent inconsistencies, unresolved inconsistencies, resolved inconsistencies, work record, formal specification, data integrity, software development management, ViewPoints, inconsistency management, partial specifications
14	Zuan Zhang	An approach to hierarchy model checking via evaluating CTL hierarchically.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	hierarchy model checking, CTL specifications, computational complexity, formal specification, formal verification, Symbolic Model Checking, formal logic, CTL, logic partitioning, hierarchical systems, Computational Tree Logic, local properties
14	Harsha Sathyamurthy, Sachin S. Sapatnekar, John P. Fishburn	Speeding up pipelined circuits through a combination of gate sizing and clock skew optimization.	ICCAD	1995	DBLP DOI BibTeX RDF	acyclic pipelines, area-delay tradeoff, clock skew optimization, cycle-borrowing, logic design, combinational circuits, logic CAD, pipeline processing, circuit CAD, circuit optimisation, gate sizing, logic gates, pipelined circuits, timing specifications
14	Daniel Brand, Reinaldo A. Bergamaschi, Leon Stok	Be careful with don't cares.	ICCAD	1995	DBLP DOI BibTeX RDF	specifications, logic design, logic CAD, correctness, replaceability, don't cares
14	George R. Ribeiro-Justo	A rigorous method for the constructive design of parallel and distributed programs.	HICSS (2)	1995	DBLP DOI BibTeX RDF	constructive design, distributed systems engineers, well-structured programs, SASD, behavioural specifications, performance, formal specification, parallel programming, parallel programs, formal verification, specification, program verification, CSP, distributed programs, software performance evaluation, diagrams, diagrams, communicating systems, communicating sequential processes, sequential systems
14	Rosalie J. Ocker, Starr Roxanne Hiltz, Murray Turoff, Jerry Fjermestad	Computer support for distributed asynchronous software design teams: experimental results on creativity and quality.	HICSS (4)	1995	DBLP DOI BibTeX RDF	distributed asynchronous software design teams, distributed asynchronous computer conferencing, automated post office, course assignment, formal specification, groupware, creativity, quality, systems analysis, software design, computer science, software development management, teleconferencing, software specifications, business, group interaction, graduate students, face-to-face meetings
14	Sastry Nanduri, Spencer Rugaber	Requirements validation via automated natural language parsing.	HICSS (3)	1995	DBLP DOI BibTeX RDF	automated natural language parsing, validation technique, document reviews, candidate objects, object model diagram, automated natural language parser, formal specification, formal verification, natural languages, grammars, object-oriented methods, object oriented analysis, requirements validation, system requirements, requirements document, high level specifications, OOA
14	Yatin Vasant Hoskote, Jacob A. Abraham, Donald S. Fussell	Automated verification of temporal properties specified as state machines in VHDL.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	automated verification methodology, correctness specifications, Viper microprocessor, Mealy FSM, compatible states, formal specification, formal verification, high level synthesis, finite state machines, VHDL, sequential circuits, state machines, hardware description languages, microprocessor chips, synchronous sequential circuit, temporal properties, liveness properties
14	Elliot A. Shefrin, James M. Purtilo	Tool support for collaborative software prototyping.	WETICE	1995	DBLP DOI BibTeX RDF	collaborative software prototyping, firm specifications, reconfiguration-based prototyping, subject matter specialists, formal specification, groupware, software tools, reconfiguration, tool support, software prototyping, user feedback, development environment, software behavior
14	Richard Furuta, Jaime Navon, P. David Stotts	Subdocument invocation semantics in collaborative hyperdocuments.	WETICE	1995	DBLP DOI BibTeX RDF	subdocument invocation semantics, collaborative hyperdocuments, Trellis model, colored tokens, timed-Petri-net-based definition, multi-user distributed protocols, Computer Supported Cooperative Work, CSCW, Petri nets, protocols, specifications, groupware, hypermedia, rapid prototyping, client-server systems, software prototyping, client-server architecture
14	Arun Balakrishnan, Srimat T. Chakradhar	Partial scan design for technology mapped circuits.	VLSI Design	1995	DBLP DOI BibTeX RDF	technology mapped circuits, scan flip-flops selection, multiple memory elements, library block, integer linear program formulation, production VLSI circuits, VLSI, graph theory, linear programming, design for testability, integer programming, logic design, logic CAD, VLSI design, flip-flops, integrated circuit design, circuit CAD, integrated logic circuits, functional specifications, partial scan design
14	Dan-Hyung Lee, Moon-Hyun Kim	A software technology plan for national information infrastructure.	FTDCS	1995	DBLP DOI BibTeX RDF	socio-economic effects, software technology plan, national information infrastructure, long-term software technology plan, Korean National Information Infrastructure, application service requirements, socio-cultural domains, SOFTECH 2015, technical specifications, software technology life-cycle, Internet, software development management, internetworking, management of change
14	Dunia Ramazani	Contribution of object-oriented methodologies to the specification of complex systems.	ICECCS	1995	DBLP DOI BibTeX RDF	specifier, formal specification, formal specifications, complex systems, object-oriented methods, large-scale systems, object-oriented methodologies, composite objects
14	Richard P. Evans, Sooyong Park, Mark Merriman	Engineering baselines in system development: using ASCII files, two-column index piles, and system numbers, engineering tags, and change set numbers.	ICECCS	1995	DBLP DOI BibTeX RDF	engineering baselines, ASCII files, two-column index piles, system numbers, engineering tags, change set numbers, plain ASCII files, universal machine processing, database-oriented applications, work breakdown structures, development milestones, user documentation, systems analysis, traceability, visibility, system development, software development management, system documentation, system specifications
14	Klaas Brink, Leon 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
14	Yabo Wang, David Lorge Parnas	Simulating the Behavior of Software Modules by Trace Rewriting.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	software module behavior simulation, trace rewriting, trace assertion method, module interface specification method, specification simulation tool, trace simulator, trace specifications, trace rewriting systems, trace simulation, simulation, formal specification, finite state machines, digital simulation, term rewriting, rewriting systems, finite state machine model
14	Susan L. Gerhart, Dan Craigen, Ted Ralston	Case Study: Darlington Nuclear Generating Station.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	fission reactor core control and monitoring, fission reactor safety, nuclear engineering computing, Darlington nuclear generating station, nuclear plant, Ontario Hydro, software driven shutdown systems, neutron-absorbing rods, liquid poison injection, Atomic Energy Control Board of Canada, decision-making logic, formal model-based inspection, formal specification, formal methods, specifications, case study, software reliability, documentation, safety, certification, safety-critical systems, licensing, Canada, code quality
14	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
14	Francesco Parisi-Presicce, Alfonso Pierantonio	An Algebraic Theory of Class Specification.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	interconnection mechanisms, modularity, inheritance, algebraic specifications
14	Angelo Morzenti, Pierluigi San Pietro	Object-Oriented Logical Specification of Time-Critical Systems.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	TRIO+, real-time systems, formal specifications, temporal logic, first-order logic, object-oriented methodologies, model-theoretic semantics
14	Barbara Liskov, Jeannette M. Wing	A Behavioral Notion of Subtyping.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	formal specifications, subtyping, Larch
14	Suad Alagic, Rajshekhar Sunderraman, Rajiv Bagai	Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping.	ECOOP	1994	DBLP DOI BibTeX RDF	semantic specifications, Object-oriented, logic programming, type systems, inheritance, polymorphism, subtyping, unification, deduction
14	Mark T. Vandevoorde, John V. Guttag	Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity.	SIGSOFT FSE	1994	DBLP DOI BibTeX RDF	program modularity, formal specifications, compilers, program optimization, software interfaces
14	Raimo Rask, Petteri Laamanen, Kalle Lyytinen	Simulation and Comparison of Albrecht's Function Point and DeMarco's Function Bang Metrics in a CASE Environment.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	specification level metrics, function bang metrics, automatically generated randomized dataflow diagrams, built CASE environment, statistical correlation, software development, software tools, software metrics, software cost estimation, software cost estimation, simulation study, function points, system specifications, statistical sample, software size estimates, DFDs