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