|
|
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 |
22 | Soumendu Bhattacharya, Ganesh Srinivasan, Sasikumar Cherubal, Achintya Halder, Abhijit Chatterjee |
System-level Testing of RF Transmitter Specifications Using Optimized Periodic Bitstreams. |
VTS |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Wee Kheng Leow, Siau-Cheng Khoo, Yi Sun |
Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
Pushdown Specifications. |
LPAR |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Alexander Kozlenkov, Andrea Zisman |
Are their Design Specifications Consistent with our Requirements? |
RE |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Glenn Ammons, Rastislav Bodík, James R. Larus |
Mining specifications. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Manuel Rodríguez 0001, Jean-Charles Fabre, Jean Arlat |
Wrapping Real-Time Systems from Temporal Logic Specifications. |
EDCC |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Bhed Bahadur Bista, Kaoru Takahashi, Norio Shiratori |
Composition of Service and Protocol Specifications. |
ICOIN |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Patrícia D. L. Machado |
Testing from Structured Algebraic Specifications. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Willem C. Mallon |
On Directed Transformations of Delay-Insensitive Specifications, Alternations and Dynamic Nondeterminism. |
ASYNC |
2000 |
DBLP DOI BibTeX RDF |
{Communicating Processes}, {Computer Aided Design}, Meta-stability, Formal Methods, Handshake Protocol, Delay-Insensitivity |
22 | H. B. M. Jonkers |
ISpec: Towards Practical and Sound Interface Specifications. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Yong Sun, Hongji Yang, Alan J. Dix |
TDL: A Language for Transition Diagrams in the Derivation of LOTOS Specifications. |
APAQS |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Marie-Claude Gaudel, Alexandre V. Zamulin |
Algebraic Imperative Specifications. |
Ershov Memorial Conference |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Richard J. Anderson, Paul Beame, William Chan 0001, David Notkin |
Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications. |
Ershov Memorial Conference |
1999 |
DBLP DOI BibTeX RDF |
finite state representations, Formal methods, formal verification, binary decision diagrams, symbolic model checking, software specification |
22 | Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj |
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
simulation, model checking, verification, formal methods, specification, abstraction, Requirements, consistency checking, safety analysis, SCR |
22 | Anthony Hunter, Bashar Nuseibeh |
Managing Inconsistent Specifications: Reasoning, Analysis, and Action. |
ACM Trans. Softw. Eng. Methodol. |
1998 |
DBLP DOI BibTeX RDF |
managing inconsistency, requiriements specification, viewpoints, paraconsistent logics |
22 | Martin Wirsing, John N. Crossley, Hannes Peterreins |
Proof Normalization of Structured Algebraic Specifications Is Convergent. |
WADT |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Michel Bidoit, Donald Sannella, Andrzej Tarlecki |
Architectural Specifications in CASL. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Stefan Leue, Lars Mehrmann, Mohammad Reza Mousavi 0001 |
Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications. |
ASE |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Rani Nelken, Nissim Francez |
Automatic Translation of Natural Language System Specifications. |
CAV |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Zhenyi Jin |
Deriving Mode Invariants from SCR Specifications. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Stéphane S. Somé, Rachida Dssouli, Jean G. Vaucher |
From Scenarios to Timed Automata: Building Specifications from Users Requirements. |
APSEC |
1995 |
DBLP DOI BibTeX RDF |
Requirements Engineering, Synthesis, Scenarios, Timed automata, Timing constraints |
22 | Roberto Souto Maior de Barros |
Deriving Relational Database Programs from Formal Specifications. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Yves Ledru |
Proof-Based Development of Specifications with KIDS/VDM. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Wei Li 0022 |
A Logical Framework for Evolution of Specifications. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Mark T. Vandevoorde |
Specifications Can Make Programs Run Faster. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
22 | Arthur G. Ryman |
Illuminating software specifications. |
CASCON |
1993 |
DBLP BibTeX RDF |
|
22 | Wolfgang Reif |
Correctness of Full First-Order Specifications. |
SEKE |
1992 |
DBLP DOI BibTeX RDF |
|
22 | Egidio Astesiano, Maura Cerioli |
Non-Strict Don't Care Algebras and Specifications. |
TAPSOFT, Vol.1 |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Kim Guldstrand Larsen |
The Expressive Power of Implicit Specifications. |
ICALP |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Yulin Feng, Junbo Liu |
A Temporal Approach to Algebraic Specifications. |
CONCUR |
1990 |
DBLP DOI BibTeX RDF |
|
22 | David W. Cordes, Doris L. Carver |
Knowledge Base Applications with Software Engineering: A Tool for Requirements Specifications. |
IEA/AIE (Vol. 1) |
1988 |
DBLP DOI BibTeX RDF |
|
22 | Giuseppe Lami, Robert W. Ferguson |
An Empirical Study on the Impact of Automation on the Requirements Analysis Process. |
J. Comput. Sci. Technol. |
2007 |
DBLP DOI BibTeX RDF |
requirements/specifications analysis, requirements/specifications tools, process metrics |
22 | Marc Frappier, Richard St-Denis |
EB 3: an entity-based black-box specification method for information systems. |
Softw. Syst. Model. |
2003 |
DBLP DOI BibTeX RDF |
Trace-based specifications, Black-box specifications, JSD, Cleanroom, Patterns, Process algebra |
22 | Carlos Canal, Lidia Fuentes, José M. Troya, Antonio Vallecillo |
Extending CORBA Interfaces with p-Calculus for Protocol Compatibility. |
TOOLS (33) |
2000 |
DBLP DOI BibTeX RDF |
p-calculus, CORBA, open systems, behavioral specifications, protocol specifications |
21 | Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin |
Enhancing modular OO verification with separation logic. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
enhanced subsumption, lossless casting, static and dynamic specifications, separation logic, automated verification |
21 | Steven P. Reiss |
Specifying and checking component usage. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
verification, specifications, components, automata, flow analysis, finite-state |
21 | Fabrice Bouquet, Bruno Legeard, Fabien Peureux |
CLPS-B - A constraint solver to animate a B specification. |
Int. J. Softw. Tools Technol. Transf. |
2004 |
DBLP DOI BibTeX RDF |
B notation, Evaluation of specifications, Animation, Constraint logic programming, Set constraints |
21 | Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre |
Mastering Test Generation from Smart Card Software Formal Models. |
CASSIS |
2004 |
DBLP DOI BibTeX RDF |
boundary testing, smart card standard, formal specifications, functional testing, Automated test generation |
21 | Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer |
From Pre-Historic to Post-Modern Symbolic Model Checking. |
Formal Methods Syst. Des. |
2003 |
DBLP DOI BibTeX RDF |
forward traversal, regular specifications, symbolic model checking, calculus |
21 | Marc Frappier, Régine Laleau |
Proving Event Ordering Properties for Information Systems. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
E3, trace-based specifications, refinement, process algebra, B |
21 | J. Christian Attiogbé, Pascal Poizat, Gwen Salaün |
Integration of Formal Datatypes within State Diagrams. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
formal methods integration, Z, algebraic specifications, B, state diagrams |
21 | Ryszard Janicki, Emil Sekerinski |
Foundations of the Trace Assertion Method of Module Interface Specification. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
Module interface specifications, trace assertion method, module refinement, tabular notation, state machines, nondeterminism, relational model, Mealy machines, step-sequences |
21 | Calvin Ko, Manfred Ruschitzka, Karl N. Levitt |
Execution Monitoring of Security-Critical Programs in Distributed Systems: A Specification-Based Approach. |
S&P |
1997 |
DBLP DOI BibTeX RDF |
security-critical program execution monitoring, specification-based approach, program vulnerabilities, security specifications, real-time intrusion detection system, Unix setuid root programs, system attack detection, security violations, distributed systems, synchronization, system monitoring, audit trails, formal framework |
21 | Yves Ledru |
Using KIDS as a Tool Support for VDM. |
ICSE |
1996 |
DBLP BibTeX RDF |
KIDS, REGROUP, VDM specifications, correctness preserving transformations, executable prototypes synthesis, proof of consistency, formal specification, REFINE, theorem proving, program verification, specification languages, tool support, theorem prover, VDM |
21 | Jonathan Lee, Wei T. Huang, Cheng-Kai Chang, Jiann-I Pan |
Expressing JSD in Z. |
COMPSAC |
1995 |
DBLP DOI BibTeX RDF |
Informal Methods, Jackson System Development (JSD), Formal Specifications, Z, Methods Integration |
21 | G. A. Venkatesh, Charles N. Fischer |
SPARE: A Development Environment For Program Analysis Algorithms. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
program analysis specifications, high-level specification language, SPARE, structured program analysis refinement environment, denotational specification, formal specification, testing, software tools, software tools, programming environments, specification languages, program testing, development environment, correctness proofs |
21 | Angelo Morzenti, Dino Mandrioli, Carlo Ghezzi |
A Model Parametric Real-Time Logic. |
ACM Trans. Program. Lang. Syst. |
1992 |
DBLP DOI BibTeX RDF |
real-time systems, formal specifications, temporal logic, first-order logic, requirements validation, model-theoretic semantics |
21 | Ferhat Khendek, Gregor von Bochmann, Christian Kant |
New Results on Deriving Protocol Specifications from Service Specifications. |
SIGCOMM |
1989 |
DBLP DOI BibTeX RDF |
|
20 | Peter Fritzson, Adrian Pop, David Broman, Peter Aronsson |
Formal Semantics Based Translator Generation and Tool Development in Practice. |
Australian Software Engineering Conference |
2009 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
20 | Wishnu Prasetya, Tanja E. J. Vos, Arthur I. Baars |
Trace-based Reflexive Testing of OO Programs with T2. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
trace based testing, sequence based testing, unit testing, automated testing |
20 | Peter Tawdross, Andreas König 0001 |
Mixtrinsic Multi-Objective Reconfiguration of Evolvable Sensor Electronics. |
AHS |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Michael D. Ernst |
The Groupthink Specification Exercise. |
Software Education and Training Sessions @ ICSE |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Michael D. Ernst, John Chapin |
The groupthink specification exercise. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Hong Mei 0001 |
ABC: Supporting Software Architectures in the Whole Lifecycle. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Hung Ledang, Jeanine Souquières |
Contributions for Modelling UML State-Charts in B. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
class operation, B abstract machine, B operation, UML, event, activity, B method, state-chart |
20 | Mesfin Belachew, R. K. Shyamasundar |
MSC+: From Requirement to Prototyped Systems. |
ECRTS |
2001 |
DBLP DOI BibTeX RDF |
hMSCs, Requirement Specification, Preemption, MSCs |
20 | Nancy G. Leveson |
Experiences in Designing and Using Formal Specification Languages for Embedded Control Software. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Ulrich Hensel, Marieke Huisman, Bart Jacobs 0001, Hendrik Tews |
Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Andrei Voronkov |
On Completeness of Program Synthesis Systems. |
CSL |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Hartmut Ehrig, Werner Fey, Francesco Parisi-Presicce, Edward K. Blum |
Algebraic Theory of Module Specification with Constraints. |
MFCS |
1986 |
DBLP DOI BibTeX RDF |
|
20 | Emina Torlak, Mandana Vaziri, Julian Dolby |
MemSAT: checking axiomatic specifications of memory models. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
sat, bounded model checking, memory models, axiomatic specifications |
20 | Carlo Combi, Sara Degani |
Building Logical Specifications of Temporal Granularities through Algebraic Operators. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
temporal granularity, granularity specifications, temporal logics |
20 | Michael Pradel, Thomas R. Gross |
Automatic Generation of Object Usage Specifications from Large Method Traces. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
formal specifications, dynamic analysis, temporal properties, Specification inference |
20 | José Raúl Romero, Juan Ignacio Jaen, Antonio Vallecillo |
Realizing Correspondences in Multi-viewpoint Specifications. |
EDOC |
2009 |
DBLP DOI BibTeX RDF |
multi-viewpoint specifications, viewpoint correspondences, architectural frameworks |
20 | Riham Hassan, Shawn A. Bohner, Sherif El-Kassas, Mohamed Eltoweissy |
Goal-Oriented, B-Based Formal Derivation of Security Design Specifications from Security Requirements. |
ARES |
2008 |
DBLP DOI BibTeX RDF |
Goal-oriented security requirements engineering, attack analysis, formal methods, threat models, design specifications |
20 | Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif |
Automating Algebraic Specifications of Non-freely Generated Data Types. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
SAT checking, theorem proving, first-order logic, abstract data types, Algebraic specifications, finite models |
20 | Narasimha Bolloju, Sherry Xiaoyun Sun |
Exploiting the Complementary Relationship between Use Case Models and Activity Diagrams for Developing Quality Requirements Specifications. |
ER Workshops |
2008 |
DBLP DOI BibTeX RDF |
quality requirements specifications, activity diagrams, Use case models |
20 | Christopher P. Fuhrman |
Lightweight models for interpreting informal specifications. |
Requir. Eng. |
2003 |
DBLP DOI BibTeX RDF |
Informal specifications, Iterative software development, Lightweight models, Request for Comments (RFC), Trivial File Transfer, Protocol (TFTP)SPIN, Process, PROMELA |
20 | Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl |
Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints. |
Requir. Eng. |
2002 |
DBLP DOI BibTeX RDF |
Model checking specifications, Abstraction, Numeric constraints |
20 | Dorin Bogdan Petriu, C. Murray Woodside |
Analysing software requirements specifications for performance. |
Workshop on Software and Performance |
2002 |
DBLP DOI BibTeX RDF |
performance, specifications, completion, nonfunctional requirements, use case maps |
20 | Peter Pfahler, Uwe Kastens |
Configuring Component-based Specifications for Domain-Specific Languages. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
Component-based language specifications, Language Design Assistant, Jacob, Eli, Domain-specific languages |
20 | Carl A. Gunter, Elsa L. Gunter, Michael Jackson 0001, Pamela Zave |
A Reference Model for Requirements and Specifications-Extended Abstract. |
ICRE |
2000 |
DBLP DOI BibTeX RDF |
formal methods, specifications, refinement, requirements, software engineering methodology |
20 | Tereza G. Kirner |
Applying the SCR Method in Software Requirements Specifications. |
SCCC |
2000 |
DBLP DOI BibTeX RDF |
SCR method, Software Cost Reduction method, real-time process control systems, liquid mixture system, real-time systems, formal specification, case study, process control, software cost estimation, software requirements specifications |
20 | Chia-Chu Chiang, David Neubart |
Constructing Reusable Specifications Through Analogy. |
SAC |
1999 |
DBLP DOI BibTeX RDF |
TUG, specifications, reusability, formality |
20 | Phillip Baraona, Perry Alexander |
Representing abstract architectures with axiomatic specifications and activation conditions. |
ECBS |
1997 |
DBLP DOI BibTeX RDF |
abstract architectures representation, activation conditions, VSPEC, Larch interface language, axiomatic style, formal specification, VHDL, formal semantics, formal analysis, axiomatic specifications |
20 | Zhanping Chen, Kaushik Roy 0001, Tan-Li Chou |
Power sensitivity - a new method to estimate power dissipation considering uncertain specifications of primary inputs. |
ICCAD |
1997 |
DBLP DOI BibTeX RDF |
Monte Carlo based approach, maximum bounds, minimum bounds, power dissipation estimation, power sensitivity, primary inputs, signal properties, signal switching, uncertain specifications, logic CAD, CMOS logic circuits, power estimation, CMOS circuits, signal probability, statistical technique |
20 | Minsoo Ryu, Seongsoo Hong, Manas Saksena |
Streamlining real-time controller design: From performance specifications to end-to-end timing constraints. |
IEEE Real Time Technology and Applications Symposium |
1997 |
DBLP DOI BibTeX RDF |
real-time controller design, performance specifications, end-to-end timing constraints, control theoretic approach, schedulability constraint, control output responses, steady state error maximum overshoot, rise time, loop processing periods, input-to-output latency, heuristic optimization algorithm, embedded real-time controller, period calibration method, real-time systems, performance requirements, control performance, real-time control system, temporal requirements, settling time |
20 | Biplav Srivastava, Subbarao Kambhampati, Amol Dattatraya Mali |
A Structured Approach for Synthesizing Planners from Specifications. |
ASE |
1997 |
DBLP DOI BibTeX RDF |
planners synthesis, domain-independent approach, error-proneness, manual coding, knowledge-based software synthesis tools, CLAY, Kestrel Interactive Development System, declarative control knowledge, AI, specifications, knowledge based systems, structured approach |
20 | Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi |
From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm. |
WETICE |
1997 |
DBLP DOI BibTeX RDF |
authentication protocol specifications, flaws, automatic formal algorithm, protocol roles, intruder communication abilities, intruder computational abilities, protocol instrumentations, formal verification, encryption, message authentication, decryption, attack scenarios, deductive system |
20 | Jian Chen, Richard H. Carver |
Selecting and mapping test sequences from formal specifications of concurrent programs. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
test sequence selection, incremental testing, specification partitioning, constraint-style Lotos specification, abstract test sequences, concrete test sequences, Ada implementation, formal specification, formal specifications, concurrent programs, specification-based testing, state explosion problem |
20 | Giancarlo Succi, Francesco Baruchelli, Marco Ronchetti |
A taxonomy for identifying a software component for uncertain and partial specifications. |
SAC |
1996 |
DBLP DOI BibTeX RDF |
uncertain specifications, classification, reuse, retrieval |
20 | Thomas Gehrke, Michaela Huhn |
ProFun - A Language for Executable Specifications. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
Integration of, Concurrent and Functional Programming, Language Design, Executable Specifications, Formal Reasoning |
20 | A. W. Roscoe 0001 |
Intensional specifications of security protocols. |
CSFW |
1996 |
DBLP DOI BibTeX RDF |
intensional specifications, formal specification, cryptography, security protocols, cryptographic protocols, confidentiality, access protocols |
20 | Klaas Brink, Jan van Katwijk, W. J. Toetenel |
Ada 95 as implementation vehicle for formal specifications. |
RTCSA |
1996 |
DBLP DOI BibTeX RDF |
implementation vehicle, transformation steps, real-time systems, formal specification, formal specifications, Ada 95, system requirements |
20 | Reinhard Rauscher, Andreas Krause 0007 |
A System for Heuristic Modifications on PLA - Specifications. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
heuristic modifications, PLA-specifications, numerical exactness, implicated deviation, optimization tool, HOPE, ESPRESSO, programmable logic arrays, binary coding |
20 | Jan A. Bergstra, John V. Tucker |
Equational Specifications, Complete Term Rewriting Systems, and Computable and Semicomputable Algebras. |
J. ACM |
1995 |
DBLP DOI BibTeX RDF |
computable and semicomputable algebras, equational specifications with hidden functions, many sorted algebras |
20 | Carlos Paredes, José Luiz Fiadeiro |
Reuse of Requirements and Specifications: A Formal Framework. |
SSR |
1995 |
DBLP DOI BibTeX RDF |
formal specifications, reuse, theories, object, features, categories, functional requirements |
20 | Hans Samsom, Frank H. M. Franssen, Francky Catthoor, Hugo De Man |
System level verification of video and image processing specifications. |
ISSS |
1995 |
DBLP DOI BibTeX RDF |
formal verification method, front-end telecom, image processing specifications, loop ordering, system level verification, computational complexity, image processing, complexity, formal specification, formal verification, video processing, numerical computing |
20 | Susan M. Üsküdarli, T. B. Dinesh |
Towards a Visual Programming Environment Generator for Algebraic Specifications. |
VL |
1995 |
DBLP DOI BibTeX RDF |
visual programming environment generator, special purpose languages, formally specified languages, picture definition language, VODL, language syntax, visual editors, formal specification, software tools, visual programming, visual languages, visual languages, algebraic specification, algebraic specifications, visual specification |
20 | Pam Binns, Steve Vestal |
Architecture specifications for complex real-time dependable systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
complex real-time dependable systems, automated analytic modeling, automated system implementation, real-time systems, formal specification, program verification, specification languages, specification languages, formal models, program correctness, architecture specifications |
20 | Miguel Felder, Dino Mandrioli, Angelo Morzenti |
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
property proving, logical specifications, TRIO, Hoare method, dual language, real-time systems, real-time systems, embedded systems, formal specification, formal specification, Petri nets, temporal logic, temporal logic, theorem proving, first-order logic, timed Petri net, formal analysis, axiomatization |
20 | David E. Evans 0001, John V. Guttag, James J. Horning, Yang Meng Tan |
LCLint: A Tool for Using Specifications to Check Code. |
SIGSOFT FSE |
1994 |
DBLP DOI BibTeX RDF |
LCLint, lint, specifications, C, static checking, Larch |
20 | William J. Hankley, Peikun Tsai |
A Verification Helper for Task Specifications. |
SAC |
1993 |
DBLP DOI BibTeX RDF |
verification, Ada, Ada, specifications, temporal logic, tools, concurrent systems |
20 | Alexander Borgida, John Mylopoulos, Raymond Reiter |
"...And Nothing Else Changes": The Frame Problem in Procedure Specifications. |
ICSE |
1993 |
DBLP BibTeX RDF |
semantics of specification languages, formal specifications, inheritance, formal specification languages, proof obligations |
20 | Piyu Tripathy, Behçet Sarikaya |
Test Generation from LOTOS Specifications. |
IEEE Trans. Computers |
1991 |
DBLP DOI BibTeX RDF |
LOTOS specifications, formal specification, protocols, finite state machine, specification languages, program testing, program testing, transformation rules, chart, protocol conformance testing |
20 | Yoshiaki Kakuda, Hironori Saito |
An Integrated Approach to Design of Protocol Specifications Using Protocol Validation and Synthesis. |
IEEE Trans. Computers |
1991 |
DBLP DOI BibTeX RDF |
acyclic-expansion-based protocol validation, state transition sequences, CAPE, computer-aided protocol engineering, design, formal specification, protocols, integrated system, protocol specifications, integrated approach, software module, protocol synthesis |
20 | Deepinder P. Sidhu, Carole S. Crall |
Executable Logic Specifications for Protocol Service Interfaces. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
executable logic specifications, protocol service interfaces, formal modeling technique, logic-programming-based language, protocol layers, protocol standards, ISO/OSI, protocols, Prolog, PROLOG, specification languages, correctness, formal language, formal languages, transport layer |
20 | Jean-Jacques Thiel |
Stop Losing Sleep Over Incomplete Data Type Specifications. |
POPL |
1984 |
DBLP DOI BibTeX RDF |
Data types specifications, Completeness, Unification, Term rewriting systems, Substitutions, Equational theories |
19 | Jacob Burnim, Koushik Sen |
DETERMIN: inferring likely deterministic specifications of multithreaded programs. |
ICSE (1) |
2010 |
DBLP DOI BibTeX RDF |
parallel programs, determinism, specification inference |
Displaying result #301 - #400 of 15043 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|