|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11964 occurrences of 4176 keywords
|
|
|
Results
Found 15043 publication records. Showing 15043 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | 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 |
|
|