|
|
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 |
25 | Eun-Hye Choi, Hiroshi Watanabe |
Model Checking Class Specifications forWeb Applications. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Shaoying Liu |
An Automated Rigorous Review Method for Verifying and Validating Formal Specifications. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Angelo Gargantini, Elvinia Riccobene |
Automatic Model Driven Animation of SCR Specifications. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Martin Große-Rhode |
Compositional Comparison of Formal Software Specifications Using Transformation Systems. |
Formal Aspects Comput. |
2002 |
DBLP DOI BibTeX RDF |
Formal specification, Integration, Consistency, Compositionality |
25 | Alfred Fent, Herbert Reiter, Burkhard Freitag |
Design for Change: Evolving Workflow Specifications in ULTRAflow. |
CAiSE |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Orna Kupferman, Moshe Y. Vardi |
On Bounded Specifications. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Marie-Claude Gaudel |
Testing from Formal Specifications, a Generic Approach. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Atsushi Togashi, Xiaosong Lu, Fumiaki Kanezashi |
System Requirements and Formal Specifications of Hierarchical Reactive Systems. |
ICPADS |
2000 |
DBLP DOI BibTeX RDF |
Formal Specification, Reactive System, System Requirement, State Transition System, Soundness and Completeness |
25 | Beverly A. Sanders |
Data Refinement of Mixed Specifications. |
Acta Informatica |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Ralph D. Jeffords, Constance L. Heitmeyer |
Automatic Generation of State Invariants from Requirements Specifications. |
SIGSOFT FSE |
1998 |
DBLP DOI BibTeX RDF |
verification, formal methods, specification, software tools, validation, requirements, invariants |
25 | Akira Takura |
Automated Generation of Communications Software from Service Specifications Described by State Transition Rules. |
HICSS (1) |
1997 |
DBLP DOI BibTeX RDF |
|
25 | Terry G. Glagowski, William E. DeForeest |
Indexing to Efficiently Support Fussy Queries on Range Specifications. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Klaus Becker 0002 |
Proving Ground Confluence and Inductive Validity in Constructor Based Equational Specifications. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Egidio Astesiano, Maura Cerioli |
On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications. |
TAPSOFT, Vol.1 |
1989 |
DBLP DOI BibTeX RDF |
|
25 | G. A. Venkatesh |
A Framework for Construction and Evaluation of High-Level Specifications for Program Analysis Techniques. |
PLDI |
1989 |
DBLP DOI BibTeX RDF |
|
25 | Horst Hansen, Michael Löwe |
Modular Algebraic Specifications. |
ALP |
1988 |
DBLP DOI BibTeX RDF |
|
25 | Jeannette M. Wing |
Writing Larch Interface Language Specifications. |
ACM Trans. Program. Lang. Syst. |
1987 |
DBLP DOI BibTeX RDF |
Larch |
25 | Eugene W. Stark |
Proving Entailment Between Conceptual State Specifications. |
ESOP |
1986 |
DBLP DOI BibTeX RDF |
|
25 | Hartmut Ehrig |
Algebraic Theory of Parameterized Specifications with Requirements. |
CAAP |
1981 |
DBLP DOI BibTeX RDF |
|
25 | Martin Nordio, Roman Mitin, Bertrand Meyer 0001, Carlo Ghezzi, Elisabetta Di Nitto, Giordano Tamburrelli |
The Role of Contracts in Distributed Development. |
SEAFOOD |
2009 |
DBLP DOI BibTeX RDF |
Contracts, Distributed Development, Interface Specifications, Software Requirements Specifications |
25 | Huo Yan Chen, T. H. Tse, Tsong Yueh Chen |
TACCLE: a methodology for object-oriented software testing at the class and cluster levels. |
ACM Trans. Softw. Eng. Methodol. |
2001 |
DBLP DOI BibTeX RDF |
contact specifications, software testing, object-oriented programming, message passing, algebraic specifications |
25 | Didier Buchs, Nicolas Guelfi |
A Formal Specification Framework for Object-Oriented Distributed Systems. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
algebraic Petri nets, distributed systems, Formal specifications, concurrency, object-orientation, refinement, algebraic specifications, subtyping |
25 | Gilles Bernot, Pascale Le Gall |
Exception Handling and Term Labelling. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
Key-words Algebraic specifications of abstract data types, Error and exception handling, Exception recovery, Bounded data structures, Structured specifications |
24 | Bikram Sengupta, Rance Cleaveland |
An Integrated Framework for Scenarios and State Machines. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
refinement orderings, scenarios, state-machines, heterogeneous specifications |
24 | Ariel Fuxman, Lin Liu 0001, John Mylopoulos, Marco Roveri, Paolo Traverso |
Specifying and analyzing early requirements in Tropos. |
Requir. Eng. |
2004 |
DBLP DOI BibTeX RDF |
Early requirements specifications, Model checking, Formal methods |
24 | Fabrice Bouquet, Bruno Legeard, Fabien Peureux |
CLPS-B - A Constraint Solver for B. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
Evaluation of specifications, Animation, CSP, B Method, Set constraints, CLP |
24 | Balachander Krishnamurthy, David S. Rosenblum |
Yeast: A General Purpose Event-Action System. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
event-action systems, distributed computing, specifications, Computer networks, software process, software development environments, event models |
24 | Michal Walicki, Sigurd Meldal |
A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism. |
ACM Trans. Program. Lang. Syst. |
1995 |
DBLP DOI BibTeX RDF |
reasoning with nondeterminism, algebraic specifications |
24 | Adel Bouhoula |
Sufficient Completeness and Parameterized Proofs by Induction. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
Implicit induction, Parameterized Conditional Specifications, Theorem Proving, Term rewriting systems, Sufficient completeness |
24 | Wei-Tek Tsai, Dmitry Volovik, Thomas F. Keefe |
Automated Test Case Generation for Programs Specified by Relational Algebra Queries. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
black-box software testing, relational algebra queries, arbitrary specifications, relational algebra expressions, automated test case generation method, formal specification, relational databases, program testing, automatic programming |
24 | Kassem Saleh, Robert L. Probert |
Synthesis of Error-Recoverable Protocol Specifications from Service Specifications. |
ICCI |
1990 |
DBLP DOI BibTeX RDF |
syntactic correctness, synthesis, error-recovery, protocol design, semantic correctness, Communication software |
24 | Christoph Beierle, Angi Voß |
Theory and Practice of Canonical Term Functors in Abstract Data Type Specifications. |
TAPSOFT, Vol.2 |
1987 |
DBLP DOI BibTeX RDF |
|
23 | Huu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin |
Runtime Checking for Separation Logic. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Ka Lok Man, Andrea Fedeli, Michele Mercaldi, Menouer Boubekeur, Michel P. Schellekens |
SC2SCFL: Automated SystemC to SystemCFL Translation. |
SAMOS |
2007 |
DBLP DOI BibTeX RDF |
|
23 | André Schiper |
Dynamic group communication. |
Distributed Comput. |
2006 |
DBLP DOI BibTeX RDF |
Specification, Group communication, Group membership, Atomic broadcast, Reliable broadcast, Dynamic group |
23 | Hung Ledang, Jeanine Souquières |
Modeling Class Operations in B: Application to UML Behavioral Diagrams. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
class operation, B abstract machine(BAM), B operation, UML, B method |
23 | Wah Kheang Cheung, Chrystopher L. Nehaniv, Kenjiro Takai Miura 0001, Yin Seong Ho |
Hierarchical Multimodel-Based Structural Consistency Support Tools for Specifying and Prototyping Complex Systems. |
COMPSAC |
1995 |
DBLP DOI BibTeX RDF |
|
23 | Jorge García Duque, José Juan Pazos-Arias, Martín López Nores, Yolanda Blanco-Fernández, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Manuel Ramos Cabrer, Alberto Gil-Solla |
Methodologies to evolve formal specifications through refinement and retrenchment in an analysis-revision cycle. |
Requir. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Analysis-revision, Formal requirements specifications, Refinement, Retrenchment |
23 | Guillaume Feuillade, Sophie Pinchinat |
Modal Specifications for the Control Theory of Discrete Event Systems. |
Discret. Event Dyn. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Conjunctive nu-calculus, Modal specifications, Maximally permissive solutions, Logics, Reactive systems, Control theory, Mu-calculus |
23 | Malay K. Ganai, Aarti Gupta |
Efficient BMC for Multi-Clock Systems with Clocked Specifications. |
ASP-DAC |
2007 |
DBLP DOI BibTeX RDF |
OpenCores multiclock system benchmarks, clocked specifications, multiphased clocks, level-sensitive latches, SAT-based bounded model checking, synchronous multiclock systems, clocked LTL properties, clock modeling schemes, clock constraints, loop-checks, gated clocks |
23 | Delphine Longuet, Marc Aiguier |
Specification-Based Testing for CoCasl's Modal Specifications. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
axiom unfolding, coalgebraic specifications, CoCasl, modal logic, Specification-based testing |
23 | Jorge García Duque, Martín López Nores, José Juan Pazos-Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Manuel Ramos Cabrer, Yolanda Blanco-Fernández |
Guidelines for the incremental identification of aspects in requirements specifications. |
Requir. Eng. |
2006 |
DBLP DOI BibTeX RDF |
Requirements specifications, Crosscutting concerns, Aspect-mining, Incremental software development |
23 | Sri Fatimah Tjong, Nasreddine Hallam, Michael Hartley |
Improving the Quality of Natural Language Requirements Specifications through Natural Language Requirements Patterns. |
CIT |
2006 |
DBLP DOI BibTeX RDF |
Natural Language Requirements Specifications, Guiding Rules, Language Patterns |
23 | Rachel L. Cobleigh, George S. Avrunin, Lori A. Clarke |
User guidance for creating precise and accessible property specifications. |
SIGSOFT FSE |
2006 |
DBLP DOI BibTeX RDF |
property specifications |
23 | John Håkansson, Bengt Jonsson 0001, Ola Lundqvist |
Generating online test oracles from temporal logic specifications. |
Int. J. Softw. Tools Technol. Transf. |
2003 |
DBLP DOI BibTeX RDF |
Online test oracles, Temporal logic specifications, Case studies, Safety properties, Metric temporal logic |
23 | Helen Treharne, Steve A. Schneider, Marchia Bramble |
Composing Specifications Using Communication. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
Composing Specifications, Concurrency, CSP, B-Method, Combining Formalisms |
23 | Jean-Luc Paillet, Norbert Giambiasi |
DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems. |
J. Intell. Robotic Syst. |
2002 |
DBLP DOI BibTeX RDF |
formal specifications, control systems, production systems, discrete event dynamic systems |
23 | Ranga Vemuri, Srinivas Katkoori, Meenakshi Kaul, Jay Roy |
An efficient register optimization algorithm for high-level synthesis from hierarchical behavioral specifications. |
ACM Trans. Design Autom. Electr. Syst. |
2002 |
DBLP DOI BibTeX RDF |
lifecycle analysis, register optimization, high-level synthesis, hardware description languages, Behavioral synthesis, hierarchical specifications |
23 | Günther Fliedl, Christian Kop, Willi Mayerthaler, Heinrich C. Mayr, Christian Winkler |
Linguistic Aspects of Dynamics in Requirements Specifications. |
DEXA Workshops |
2000 |
DBLP DOI BibTeX RDF |
linguistic aspects, requirements specification dynamics, natural language requirement specifications, behavioral aspects, NTMS model, semantic contents, conceptual predesign model, automatic mapping, common conceptual models, UML, formal specification, application domain, linguistic analysis |
23 | Xavier Blanc 0001, Marie-Pierre Gervais, Juliette Le Delliou |
The Specifications Exchange Service of an RM-ODP Framework. |
EDOC |
2000 |
DBLP DOI BibTeX RDF |
specifications exchange service, RM-ODP framework, LIP6, meta-modeling standards, standards, file system, EDF, MOF, XMI, open distributed systems, ORB |
23 | William Chan 0001, Richard J. Anderson, Paul Beame, Steve Burns 0002, Francesmary Modugno, David Notkin, Jon Damon Reese |
Model Checking Large Software Specifications. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
state-based specifications, Formal methods, requirements, binary decision diagrams, statecharts, software verification, symbolic model checking |
23 | Stephen Wang-Cheung Lam, Keith C. C. Chan, Hareton K. N. Leung, Lawrence Chung |
A visual programming environment for Z specifications. |
APSEC |
1997 |
DBLP DOI BibTeX RDF |
syntax checking, VZ, Visual Z, specification validation, logic proving, software tools, visual programming, icons, editing, glyphs, Z specifications, visual programming environment |
23 | Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon |
On the concurrent behaviour of SCR specifications. |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
SCR specifications, concurrent behaviour, SCR method, tabular notations, Software Cost Reduction, mode transition tables, event tables, condition tables, real-time systems, finite state machines, finite state machine, requirements specification, state machines, timed transition systems, interleaving semantics |
23 | Charles Lakos, Glenn Lewis |
Animating Formal Specifications Using Java Applets. |
TOOLS (25) |
1997 |
DBLP DOI BibTeX RDF |
formal specifications, animation, Java applets, Object Petri Nets |
23 | Bénédicte Dano, Henri Briand, Franck Barbier |
Progressing Towards Object-Oriented Requirements Specifications by using the USE CASE Concept. |
ECBS |
1996 |
DBLP DOI BibTeX RDF |
dynamic specifications, verification, requirements engineering, formalization, object-oriented analysis |
23 | José Luís Barros Justo |
A repository to support requirement specifications reuse. |
ISCNZ |
1996 |
DBLP DOI BibTeX RDF |
requirement specifications reuse, new developments, program bugs, design-by reuse methodology, design-for reuse methodology, representative descriptors, component engineering, classification, software tools, software quality, software reuse, time, computer aided software engineering, software repository, component reuse, abstraction levels, indexing techniques, software methodologies, software cost |
23 | Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis |
Consistency checking of SCR-style requirements specifications. |
RE |
1995 |
DBLP DOI BibTeX RDF |
SCR-style requirements specifications, SCR tabular notation, application independent properties, domain coverage, formal requirements model, automated consistency checking, formal specification, data integrity, program verification, formal model, determinism, software development process, consistency checks, formal analysis, type correctness |
23 | David W. Bustard, Adam C. Winstanley |
Making Changes to Formal Specifications: Requirements and an Example. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
change technique, formal notation LOTOS, SCAFFOLD project, process-oriented notations, software engineering, formal specification, formal specifications, formal specification, software maintenance, tool, specification languages, process algebra, configuration management, concurrent systems, LOTOS, change control |
23 | Gang Luo, Anindya Das, Gregor von Bochmann |
Software Testing Based on SDL Specifications with Save. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
SDL specifications, signal save construct, SDL-machines, SDL-machine transformation, input/output relationship, formal specification, software testing, programming languages, finite state machines, finite state machines, program verification, specification languages, program testing, software verification, high-level specification |
23 | Miguel Felder, Angelo Morzenti |
Validating Real-Time Systems by History-Checking TRIO Specifications. |
ACM Trans. Softw. Eng. Methodol. |
1994 |
DBLP DOI BibTeX RDF |
formal specifications, first-order logic, requirements validation, model-theoretic semantics |
23 | José Ambrosio Toval Álvarez, Isidro Ramos, Oscar Pastor 0001 |
Prototyping Object Oriented Specifications in an Algebraic Environment. |
DEXA |
1994 |
DBLP DOI BibTeX RDF |
object-oriented prototyping, conceptual modelling, algebraic specifications, object-oriented specification |
23 | Vincent van Oostrom, Erik P. de Vink |
Transition System Specifications in Stalk Formal with Bisimulation as a Congruence. |
STACS |
1994 |
DBLP DOI BibTeX RDF |
transition system specifications, Structured Operational Semantics, semantics of programming languages, bisimulation equivalence |
23 | Xavier Nicollin, Joseph Sifakis, Sergio Yovine |
Compiling Real-Time Specifications into Extended Automata. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
extended automata, simple specification language, watchdog constructs, state variables, event-driven execution mode, efficient code generation, real-time systems, real-time systems, complexity, formal specification, specification languages, timed automata, program compilers, symbolic model-checking, automata theory, communicating sequential processes, communicating processes, timeout, real-time properties, real-time specifications |
23 | Jacques Durand, Paul Bennett, Valerio Allegranza, Frank Van Eynde, R. Lee Humphreys, Paul Schmidt, Erich Steiner 0001 |
The Eurotra linguistic specifications: An overview. |
Mach. Transl. |
1991 |
DBLP DOI BibTeX RDF |
Eurotra, linguistic specifications, translation theory |
23 | Angelo Morzenti |
Validating Real-Time Systems by Executing Logic Specifications. |
REX Workshop |
1991 |
DBLP DOI BibTeX RDF |
real-time, formal specifications, temporal logic, first-order logic, software requirements, requirements validation, model-theoretic semantics |
23 | Deepinder P. Sidhu, Juan Aristizabal |
Constructing Submodule Specifications and Network Protocols. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
submodule specifications, module specification, formal specification, formal specification, protocols, software tools, finite-state machine, communication protocols, network protocols, finite automata, automated tool, execution sequences |
23 | António L. Furtado 0001 |
An Informal Approach to Formal Specifications. |
SIGMOD Rec. |
1984 |
DBLP DOI BibTeX RDF |
denotational methods, formal specifications, data models, logic, abstract data types, grammars, integrity constraints, data bases |
23 | António L. Furtado 0001 |
An Informal Approach to Formal Specifications. |
SIGMOD Rec. |
1983 |
DBLP DOI BibTeX RDF |
denotational methods, formal specifications, data models, logic, abstract data types, grammars, integrity constraints, data bases |
23 | Boumediene Belkhouche, Joseph E. Urban, Gregory A. Riccardi |
Synthesizing abstract data type specifications. |
ACM Southeast Regional Conference |
1982 |
DBLP DOI BibTeX RDF |
specifications, synthesis, abstract data types |
22 | Elmar Jürgens, Florian Deissenboeck, Martin Feilkas, Benjamin Hummel, Bernhard Schätz, Stefan Wagner 0001, Christoph Domann, Jonathan Streit |
Can clone detection support quality assessments of requirements specifications? |
ICSE (2) |
2010 |
DBLP DOI BibTeX RDF |
redundancy, requirements specification, clone detection |
22 | Puwei Wang, Zhi Jin, Lin Liu 0001, Guangjun Cai |
Building toward Capability Specifications of Web Services Based on an Environment Ontology. |
IEEE Trans. Knowl. Data Eng. |
2008 |
DBLP DOI BibTeX RDF |
Intelligent Web service languages, Ontology design |
22 | Till Mossakowski, Andrzej Tarlecki |
Heterogeneous Logical Environments for Distributed Specifications. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Bijoy Antony Jose, Sandeep K. Shukla, Hiren D. Patel, Jean-Pierre Talpin |
On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Ansuman Banerjee, Kausik Datta, Pallab Dasgupta |
CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Adam Antonik, Michael Huth 0001, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |
Complexity of Decision Problems for Mixed and Modal Specifications. |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Marie-Claude Gaudel, Pascale Le Gall |
Testing Data Types Implementations from Algebraic Specifications. |
Formal Methods and Testing |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Hui Liu, Bin Zhu |
Refactoring Formal Specifications in Object-Z. |
CSSE (2) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta |
Mining library specifications using inductive logic programming. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
machine learning., verification, datalog, inductive logic programming, software specification |
22 | A. Alessandroni, Raffaele Cappelli, Matteo Ferrara, Davide Maltoni |
Definition of Fingerprint Scanner Image Quality Specifications by Operational Quality. |
BIOID |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Erki Eessaar |
A Semiotic Approach to Quality in Specifications of Software Measures. |
ICEIS |
2008 |
DBLP DOI BibTeX RDF |
Measures, Metrics, SQL, Quality, Metamodel, Database design, Semiotics |
22 | Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng |
Formal verification of security specifications with common criteria. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
ISO/IEC 15408, theorem-proving, Z notation |
22 | Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer |
Interactive presentation: Automatic hardware synthesis from specifications: a case study. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Abdolmajid Mousavi, Behrouz Homayoun Far, Armin Eberlein, Behrouz Heidari |
Strong Safe Realizability of Message Sequence Chart Specifications. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
Strong safe realizability, stuck states, emergent scenarios |
22 | Bas Graaf, Arie van Deursen |
Model-Driven Consistency Checking of Behavioural Specifications. |
MOMPES |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Jonathan S. Ostroff, Faraz Ahmadi Torshizi |
Testable Requirements and Specifications. |
TAP |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Lidong Zhou, Vijayan Prabhakaran, Venugopalan Ramasubramanian, Roy Levin, Chandramohan A. Thekkath |
Graceful degradation via versions: specifications and implementations. |
PODC |
2007 |
DBLP DOI BibTeX RDF |
fault tolerance, version, graceful degradation, linearizability |
22 | Dussadee Praserttitipong, Peraphon Sophatsathit |
A Synopsis Model for Deterministic Behavioral Specifications of an Adaptable Agent. |
SERA |
2007 |
DBLP DOI BibTeX RDF |
service advertisement, service discovery, adaptable agent, service specification |
22 | David Lo 0001, Shahar Maoz, Siau-Cheng Khoo |
Mining modal scenario-based specifications from execution traces of reactive systems. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
dynamic analysis, live sequence charts, specification mining, UML sequence diagrams |
22 | Agnès Arnould, Laurent Fuchs, Marc Aiguier, Thibaud Brunet |
Automatic Generation of Functional Programs from CASL Specifications. |
ICSEA |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Robert Leithiser |
A relational database model for representation of formal specifications. |
ACM Southeast Regional Conference |
2006 |
DBLP DOI BibTeX RDF |
Zed, relational state, formal specification, formal methods, relational database management system, RDBMS, state transition |
22 | Ben Krause, Tim Wahls |
jmle: A Tool for Executing JML Specifications Via Constraint Programming. |
FMICS/PDMC |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Kokichi Futatsugi |
Verifying Specifications with Proof Scores in CafeOBJ. |
ASE |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Jan A. Bergstra |
Elementary Algebraic Specifications of the Rational Function Field. |
CiE |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Adrian Pop, Peter Fritzson |
Debugging natural semantics specifications. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
logical functional languages, proof-trees, debugging, rule-based |
22 | Deirdre Carew, Chris Exton, Jim Buckley |
An empirical investigation of the comprehensibility of requirements specifications. |
ISESE |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Eric Andonoff, Lotfi Bouzguenda, Chihab Hanachi |
Specifying Workflow Web Services Using Petri Nets with Objects and Generating of Their OWL-S Specifications. |
EC-Web |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Ron van der Meyden, Thomas Wilke |
Synthesis of Distributed Systems from Knowledge-Based Specifications. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Artur Zawlocki |
Architectural Specifications for Reactive Systems. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Yuting Chen, Shaoying Liu, Fumiko Nagoya |
An Approach to Integration Testing Based on Data Flow Specifications. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
SOFL, test cases generation, specification-based testing, data flow diagrams |
22 | Steven P. Reiss |
CHET: A System for Checking Dynamic Specifications. |
ASE |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 15043 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|