|
|
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 |
22 | Paul C. Grabow, L. Liu |
Automatic Generation of C++ Code from an ESCRO2 Specification. |
COMPSAC |
1995 |
DBLP DOI BibTeX RDF |
ESCRO2, design, real-time, C++, specification, implementation, control system |
22 | Jan Stelovsky, Hirotsugo Sugaya |
A System for Specification and Rapid Prototyping of Application Command Languages. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
application command languages, XS-2 system, application dialogs, command language grammar, nonprocedural description language, command specification, command tree, user interfaces, user interfaces, software tools, software tools, programming environments, programming environments, rapid prototyping, interactive systems, regular expressions, grammars, Modula-2, automatic translation |
22 | Heather Alexander |
Comments on "Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches". |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
Formal specification, prototyping |
21 | Mamoun Sqali, Lucile Torres, Claudia S. Frydman |
Synthesizing scenarios to DEVS models. |
SpringSim |
2008 |
DBLP DOI BibTeX RDF |
requirement validation and checking, scenarios, DEVS, behavioral specification |
21 | Satyajit Acharya, Chris George, Hrushikesha Mohanty |
Specifying a Mobile Computing Infrastructure and Services. |
ICDCIT |
2004 |
DBLP DOI BibTeX RDF |
Mobicharts, Mobile Computing, Testing, Specification, RSL |
21 | Glenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus |
Debugging temporal specifications with concept analysis. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
specification debuggers, hierarchical clustering, concept analysis, temporal specifications |
21 | Alan D. Fekete, Nancy A. Lynch, Alexander A. Shvartsman |
Specifying and using a partitionable group communication service. |
ACM Trans. Comput. Syst. |
2001 |
DBLP DOI BibTeX RDF |
composable building blocks, conditional performance analysis, message-passing protocols, ordered broadcast, total-order broadcast, distributed algorithms, service specification, group communication protocols |
21 | Matthias Anlauff, Samarjit Chakraborty, Philipp W. Kutter, Alfonso Pierantonio, Lothar Thiele |
Generating an action notation environment from Montages descriptions. |
Int. J. Softw. Tools Technol. Transf. |
2001 |
DBLP DOI BibTeX RDF |
Formal specification of programming languages, Generating programming environments and tools, Abstract state machines, Montages, Action semantics |
21 | Ji Y. Lee, Hye J. Kim, Kyo Chul Kang |
A real world object modeling method for creating simulation environment of real-time systems. |
OOPSLA |
2000 |
DBLP DOI BibTeX RDF |
real-time control software, simulation, verification, validation, requirement specification |
21 | Graeme Smith 0001 |
Stepwise Development from Ideal Specifications. |
ACSC |
2000 |
DBLP DOI BibTeX RDF |
formal specification, refinement, stepwise development |
21 | Jonathan Jacky |
Specifying a Safety-Critical Control System in Z. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
cyclotron, Formal specification, safety, Z, process control, medical applications, radiation therapy |
21 | Jeffrey J. P. Tsai, Steve Jennhwa Yang, Yao-Hsiung Chang |
Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
real-time systems, Petri nets, synthesis, timing analysis, Timing constraints, time Petri nets, timed Petri nets, specification and verification |
21 | Satoshi Yamane |
Formal Timing Verification Techniques for Distributed System . |
FTDCS |
1995 |
DBLP DOI BibTeX RDF |
language inclusion algorithm, formal specification, timing verification, timed automaton |
21 | Annette Bunker, Ganesh Gopalakrishnan, Sally A. McKee |
Formal hardware specification languages for protocol compliance verification. |
ACM Trans. Design Autom. Electr. Syst. |
2004 |
DBLP DOI BibTeX RDF |
Heterogeneous Hardware Logic, Hierarchical Annotated Action Diagrams, Lava, Objective VHDL, OpenVera, SpecC, Specification and Description Language, The Unified Modeling Language, Java, Statecharts, SystemC, Message Sequence Charts, Esterel, Live Sequence Charts, timing diagrams, hardware monitors, SystemVerilog, e, Property Specification Language |
21 | Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi 0001, Hirokazu Yatsu, Alan Wills |
Formal specification of Catalysis frameworks. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
Catalysis frameworks, informal description, framework composition, formal specification, formal specification, software reuse, software reusability, object-oriented methods, component-based software development, subroutines, formal reasoning |
21 | Atsushi Ohnishi |
Software Requirements Definition for Specification Database. |
APSEC |
1997 |
DBLP DOI BibTeX RDF |
specification database, software requirements language, requirements definition, software requirements specification |
21 | John Penix, Perry Alexander, Klaus Havelund |
Declarative Specification of Software Architectures. |
ASE |
1997 |
DBLP DOI BibTeX RDF |
interconnected components, component variation, task coordination architecture, multi-threaded plan execution system, software architectures, formal specification, formal methods, abstraction, system requirements, declarative specification |
21 | Satoshi Yamane |
Verification system for real-time specification based on extended real-time logic. |
RTCSA |
1995 |
DBLP DOI BibTeX RDF |
extended real-time logic, Timed CTL, verification system, bounded temporal operator, freeze quantification, real-time systems, formal specification, formal verification, temporal logic, real-time specification |
21 | Bruce W. Weide, Stephen H. Edwards, Douglas E. Harms, David Alex Lamb |
Design and Specification of Iterators Using the Swapping Paradigm. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
swapping paradigm, common interface model, user defined iterator abstractions, modular correctness proofs, formal specification, formal specification, formal methods, program verification, program verification, iterators, iterator designs, swapping, proof of correctness, modular reasoning, data encapsulation, imperative languages |
21 | Yoonsik Cheon, Gary T. Leavens |
The Larch/Smalltalk Interface Specification Language. |
ACM Trans. Softw. Eng. Methodol. |
1994 |
DBLP DOI BibTeX RDF |
Larch/Smalltalk, specification inheritance, verification, formal methods, Smalltalk, Smalltalk, subtype, interface specification, Larch |
21 | Hee Beng Kuan Tan, Tok Wang Ling, Stan Jarzabek, Yin Seong Ho |
The Data Derivation Model: A Program Specification Technique That Improves Reusability. |
SAC |
1993 |
DBLP DOI BibTeX RDF |
business systems, specification reusability, program specification |
21 | Pradeep Jain, Simon S. Lam |
Specification of Real-Time Broadcast Networks. |
IEEE Trans. Computers |
1991 |
DBLP DOI BibTeX RDF |
real-time broadcast networks, broadcast bus networks, binary signals, two level wait constructs, Expressnet protocol, collision-free access, model, real-time systems, formal specification, protocols, computer networks, protocols specification, sequential programs, programming constructs, access delay |
21 | Haruhisa Ichikawa, Masaki Itoh, June Kato, Akira Takura, Masashi Shibasaki |
SDE: Incremental Specification and Development of Communications Software. |
IEEE Trans. Computers |
1991 |
DBLP DOI BibTeX RDF |
SDE, incremental specification and development, formal message sequence specifications, hierarchical verification of protocols, design support environment, PBX, formal specification, protocols, program verification, computer communications software, SAL, communications software |
21 | Andrew P. Moore |
The Specification and Verified Decomposition of System Requirements Using CSP. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
verified decomposition, synchronization requirements, trace model, formal specification, formal method, specification, theorem proving, CSP, synchronisation, system requirements |
21 | Toshinori Suzuki, Sol M. Shatz, Tadao Murata |
A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
conversion rules, automated modeling, input/output behavior, linguistic specifications, LAPD protocol, verification, Petri nets, Petri nets, protocols, program verification, specification language, specification languages, communication protocols, timed Petri net |
21 | Viara Popova, Alexei Sharpanskykh |
Constraint-based modelling and analysis of organisations. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
consistency of a specification, organisation design, validity of a specification, constraints, organisation modeling |
21 | Fathi Taibi, Jacob Karikottu Daniel, Fouad Mohammed Abbou |
On checking the consistency of Object-Z classes. |
ACM SIGSOFT Softw. Eng. Notes |
2007 |
DBLP DOI BibTeX RDF |
model checking, formal specification, consistency, Object-Z, specification testing, model abstraction |
21 | Patrice Chalin |
Improving JML: For a Safer and More Effective Language. |
FME |
2003 |
DBLP DOI BibTeX RDF |
behavioral interface specification languages, specification language design and semantics, arbitrary precision numeric types, assertion-based languages, formal methods, JML, Java Modeling Language |
21 | Anca Muscholl, Doron A. Peled |
From Finite State Communication Protocols to High-Level Message Sequence Charts. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
HMSC, bounded automata, partial order specification, specification, Message sequence charts |
21 | Núria Castell, Àngels Hernández |
Knowledge Management in the Sarel System. |
DEXA Workshops |
2000 |
DBLP DOI BibTeX RDF |
Sarel system, specification phase, Assistance System for Writing Software Specifications in Natural Language, knowledge based tool, natural language software specifications, linguistic engineering tools, preliminary software specifications, knowledge base construction, background information, requirements section, requirements base, formal specification, knowledge management, software development process |
21 | Hans-Arno Jacobsen, Bernd J. Krämer |
Modeling Interface Definition Language Extensions. |
TOOLS (37) |
2000 |
DBLP DOI BibTeX RDF |
interface definition language extensions, module names, interface names, operation signatures, pre-conditions, post-conditions, service quality annotations, real-time annotations, combined modeling language, CORBA middleware platform, semantic aspects specification, XML document type definitions, Extensible Style Language, quality of service, Extensible Markup Language, specification languages, invariants, synchronisation, client-server systems, subroutines, distributed object management, XSL, OMG, hypermedia markup languages, synchronization constraints |
21 | Alena Griffiths |
Modular reasoning in Object-Z. |
APSEC |
1997 |
DBLP DOI BibTeX RDF |
formal specification validation, modular semantics, object property, system property, partial validation, formal specification, complex systems, Object-Z, proof, modular reasoning, large systems |
21 | Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor |
Formal Methods Pilot Project. |
APSEC |
1996 |
DBLP DOI BibTeX RDF |
safety-related software development, SVRC Cogito methodology, mathematical consistency checks, formal specification, formal specification, formal methods, validation, hazard analysis, collaborative project, safety requirements, pilot project |
21 | Jeroen Voeten, P. H. A. van der Putten, M. P. J. Stevens |
Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
SHE, behaviour-preserving transformations, POOSL, formal specification, architecture design, design framework, formal specification language, formal approach |
21 | Joanne M. Atlee, John A. McDermid |
Integrating requirements analysis and safety analysis. |
RE |
1995 |
DBLP DOI BibTeX RDF |
system safety requirements, design description, formal specification, systems analysis, requirements analysis, requirements specification, safety critical systems, safety-critical software, safety critical software, functional requirements, safety analysis, high level design |
21 | Doran Wilde, Sanjay V. Rajopadhye |
The naive execution of affine recurrence equations. |
ASAP |
1995 |
DBLP DOI BibTeX RDF |
algorithmic languages, regular arrays, ALPHA language, computer aided design methodology, regular array architectures, algorithmic specification, imperative sequential language C, applicative caching, 1-dimensional storage, formal specification, circuit CAD, hardware description languages, nested loops, polyhedron, transformational approach, C-code, affine recurrence equations |
21 | Alvin S. Lim |
Automatic analytical tools for reliability and dynamic adaptation of complex distributed systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
automatic analytical tools, complex distributed systems, runtime facilities, complex application behavior, reliability, formal specification, distributed processing, software tools, software reliability, software fault tolerance, reachability analysis, liveness, reachability, dynamic adaptation, failure recovery, development environment, behavior specification, group behavior |
21 | Gruia-Catalin Roman, Rose F. Gamble, William E. Ball |
Formal Derivation of Rule-Based Programs. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
efficient concurrent rule-based programs, initial rule-based program, program derivation strategy, UNITY programs, correct rule-based program, static knowledge base, formal specification, parallel programming, logic programming, knowledge based systems, computational model, Swarm, OPS5, specification refinement, correctness criteria, program refinement |
21 | Robin A. Nicholl |
Unreachable States in Model-Oriented Specifications. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
unreachable states, model-oriented specifications, detection of errors, bottom-up implementation strategy, formal specification, formal specification, software development, software components |
21 | 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 |
21 | Michael D. Rice, Stephen B. Seidman |
A Formal Model for Module Interconnection Languages. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
module interconnection languages, hierarchical module structure design, Z schema type definitions, generic parameters, application-specific declarations, STILE, graphical design environment, formal specification, constraints, programming environments, specification languages, specification language, systems analysis, formal model, development environment, Conic, configuration language |
21 | Teruo Higashino, Gregor von Bochmann |
Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
test case derivation, LOTOS expressions, data parameters, automatic analysis method, P-LOTOS expressions, Boolean types, integer linear programming problems, deadlock detection problem, nonexecutable branch detection, nondeterministic behavior detection, simplified Session protocol, formal specification, linear programming, concurrency control, integer programming, specification languages, specification language, comparison, decision procedure, data types, addition, test selection, Presburger arithmetic, subtraction, integer, data values |
21 | Béchir el Ayeb |
Towards Systematic Contruction of Diagnostic Systems for Large Industrial Plants: Methods, Languages, and Tools. |
IEEE Trans. Knowl. Data Eng. |
1994 |
DBLP DOI BibTeX RDF |
industrial plants, systematic construction, large industrial plants, formal specification, artificial intelligence, specification, fault diagnosis, software tools, software tools, graphs, expert systems, specification languages, hierarchies, system engineering, computer integrated manufacturing, diagnostic expert systems, diagnostic systems |
21 | Riccardo Sisto, Luigi Ciminiera, Adriano Valenzano |
A Protocol for Multirendezvous of LOTOS Processes. |
IEEE Trans. Computers |
1991 |
DBLP DOI BibTeX RDF |
LOTOS processes, multiway rendezvous mechanism, International Standards Organization, LOTOS specification language, global knowledge, distributed execution model, hierarchical topology, performance evaluation, performance, formal specification, formal specification, protocol, protocols, standards, distributed environment, distributed agreement |
21 | Daniel E. Cooke |
Towards a Formalism to Produce a Programmer Assistant CASE Tool. |
IEEE Trans. Knowl. Data Eng. |
1990 |
DBLP DOI BibTeX RDF |
programmer assistant CASE tool, weak specification method, input constraints, program functions, software engineering, software tools, specification language, specification languages, selections, sequences, iterations, formalism |
21 | Anne H. H. Ngu |
Conceptual Transaction Modeling. |
IEEE Trans. Knowl. Data Eng. |
1989 |
DBLP DOI BibTeX RDF |
transaction schema, ACM/PCM, static schema, intended transactions, formal specification, data modeling, specification language, specification languages, transaction processing |
21 | E. Allen Emerson, Jai Srinivasan |
Branching time temporal logic. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
Modal and Temporal Logic: Branching time temporal logic, linear time temporal logic, model checking - Logics of Programs: Reasoning about concurrent programs, specification of and reasoning about fairness - Software Engineering: Specification techniques, automated verification techniques - Computational Complexity, Automata Theory: Finite-state automata on infinite objects, program verification, satisfiability, decidability, expressiveness, decision procedures, dynamic logics, tree automata, axiomatics, program specification, mechanical synthesis |
20 | Stephan Flake, Wolfgang Müller 0003, Ulrich Pape, Jürgen Ruf |
Specification and Formal Verification of Temporal Properties of Production Automation Systems. |
SoftSpez Final Report |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Lars Michael Kristensen, Kurt Jensen |
Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks. |
SoftSpez Final Report |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Stefan Einer |
STOP - Specification Technique of Operational Processes. |
SoftSpez Final Report |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Robert M. Hierons, Mark Harman, Harbhajan Singh |
Automatically Generating Information from a Z Specification to Support the Classification Tree Method. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
formal methods, test automation, Z notation, Classification tree method |
20 | Hong Zhu 0002 |
The Role of Castes in Formal Specification of MAS. |
PRIMA |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Anthony Hall |
What Does Industry Need From Formal Specification Techniques? |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Changlong Zhu, Rasha Morsi |
Formal specification of FFHMIPv6 using PVS. |
SpringSim |
2009 |
DBLP BibTeX RDF |
FFHMIPv6 packets, formal methods, handover, PVS |
20 | Chryssis Georgiou, Peter M. Musial, Alexander A. Shvartsman, Elaine L. Sonderegger |
An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets. |
NCA |
2008 |
DBLP DOI BibTeX RDF |
Java sockets, dynamic participation, input/output automata, Asynchronous communication |
20 | Dan He 0001, Abdullah N. Arslan, Yu He, Xindong Wu 0001 |
Iterative Refinement of Repeat Sequence Specification Using Constrained Pattern Matching. |
BIBE |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Mohammad Feroz Raihan, Mohammad Zulkernine |
AsmLSec: An Extension of Abstract State Machine Language for Attack Scenario Specification. |
ARES |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Gordon Fraser 0001, Franz Wotawa |
Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis. |
ICSEA |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Yves Ledru, Lydie du Bousquet |
Tobias-Z: An executable formal specification of a test generator. |
ASE |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Keum-Young Sung |
Specification with Java IDL for Correctness and Maintainability of Distributed Software System. |
ICAS |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Wolfgang Nejdl, Daniel Olmedilla, Marianne Winslett, Charles C. Zhang |
Ontology-Based Policy Specification and Management. |
ESWC |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby |
Extending JML for Modular Specification and Verification of Multi-threaded Programs. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
20 | David Coppit, Jennifer M. Haddox-Schatz |
On the Use of Specification-Based Assertions as Test Oracles. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Osmar Marchi dos Santos, Andy J. Wellings |
Cost Monitoring and Enforcement in the Real-Time Specification for Java - A Formal Evaluation. |
RTSS |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Alena Tsikhanovich, El Mostapha Aboulhamid, Guy Bois |
A Methodology for Hw/Sw Specification and Simulation at Multiple Levels of Abstraction. |
IWSOC |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Ling Liu, Huaikou Miao |
Mutation Operators for Object-Z Specification. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Sven Overhage |
UnSCom: A Standardized Framework for the Specification of Software Components. |
Net.ObjectDays |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Tim Miller, Paul A. Strooper |
A Case Study in Specification and Implementation Testing. |
APSEC |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Natalia López, Manuel Núñez 0001, Ismael Rodríguez |
Formal Specification of Symbolic-Probabilistic Systems. |
FORTE Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Koji Okuma, Yasuhiko Minamide |
Executing Verified Compiler Specification. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Ioannis Parissis, Jérôme Vassy |
Thoroughness of Specification-Based Testing of Synchronous Programs. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Paul W. P. J. Grefen, Samuil Angelov |
Three-Level Process Specification for Dynamic Service Outsourcing: From Petri Nets to ebXML and WFPDL. |
Petri Net Technology for Communication-Based Systems |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Sven Overhage, Peter Thomas |
WS-Specification: Specifying Web Services Using UDDI Improvements. |
Web, Web-Services, and Database Systems |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Eliezer Kantorowitz, Sally Tadmor |
A Specification-Oriented Framework for Information System User Interfaces. |
OOIS Workshops |
2002 |
DBLP DOI BibTeX RDF |
|
20 | David A. Basin, Frank Rittinger, Luca Viganò 0001 |
A Formal Analysis of the CORBA Security Service. |
ZB |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Cléver Ricardo Guareis de Farias, Luís Ferreira Pires, Wanderley Lopes de Souza, Célio Estevan Morón |
Specification and Validation of a Real-Time Parallel Kernel Using LOTOS. |
MASCOTS |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Peter Bielkowicz, Thein Than Tun |
A Comparison and Evaluation of Data Requirement Specification Techniques in SSADM and the Unified Process. |
CAiSE |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Kanna Shimizu, David L. Dill, Ching-Tsun Chou |
A Specification Methodology by a Collection of Compact Properties as Applied to the Intel® ItaniumTM Processor Bus Protocol. |
CHARME |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Ahmed Al-Theneyan, Amol Jakatdar, Mohammad Zubair, Piyush Mehrotra |
XML-Based Visual Specification of Multidisciplinary Applications. |
CCGRID |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Peter Csaba Ölveczky, Mark Keaton, José Meseguer 0001, Carolyn L. Talcott, Steve Zabele |
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude. |
FASE |
2001 |
DBLP DOI BibTeX RDF |
|
20 | José Manuel Moya, Francisco Moya, Juan Carlos López 0001, Santiago Domínguez |
A Flexible Specification Framework for Hardware-Software Codesign. |
DATE |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Robert Eschbach |
A Termination Detection Algorithm: Specification and Verification. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Anne Brüggemann-Klein, Stefan Hermann, Derick Wood |
The Visual Specification of Context. |
ADL |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Thomas A. Henzinger, Xiaojun Liu, Shaz Qadeer, Sriram K. Rajamani |
Formal specification and verification of a dataflow processor array. |
ICCAD |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Martin Leucker, Thomas Noll 0001 |
Rapid Prototyping of Specification Language Implementations. |
IEEE International Workshop on Rapid System Prototyping |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Daniela E. Herlea, Catholijn M. Jonker, Jan Treur, Niek J. E. Wijngaards |
Integration of Behavioural Requirements Specification within Knowledge Engineering. |
EKAW |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Roel J. Wieringa |
A Survey of Structured and Object-Oriented Software Specification Methods and Techniques. |
ACM Comput. Surv. |
1998 |
DBLP DOI BibTeX RDF |
languages |
20 | Ian MacColl, Leesa Murray, Paul A. Strooper, David A. Carrington |
Specification-Based Class Testing: A Case Study. |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Peter D. Mosses |
CoFI: The Common Framework Initiative for Algebraic Specification and Development. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Luís Caires |
A Language for the Logical Specification of Processes and Relations. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Kai Engelhardt, Willem P. de Roever |
Simulation of Specification Statements in Hoare Logic. |
MFCS |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Eugenio Battiston, Oliver Botti, E. Crivelli, Fiorella de Cindio |
An Incremental Specification of a Hydroelectric Power Plant Control Systems using a Class of Modular Algebraic Nets. |
Application and Theory of Petri Nets |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Rose F. Gamble |
Integrating a formal specification course with a software projects course via an editing tool. |
SIGCSE |
1995 |
DBLP DOI BibTeX RDF |
Z |
20 | Nicole Lévy, G. Smith |
A Language-Independent Approach to Specification Construction. |
SIGSOFT FSE |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Marie-Claude Gaudel |
Structuring and Modularizing Algebraic Specifications: The PLUSS Specification Language, Evolutions and Perspectives. |
STACS |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Michel Bidoit, Francis Capy, Christine Choppy |
The design and specification of the ASSPEGIQUE database. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
20 | David L. Cohrs, Barton P. Miller |
Specification and Verification of Network Managers for Large Internets. |
SIGCOMM |
1989 |
DBLP DOI BibTeX RDF |
|
20 | Sjouke Mauw, Freek Wiedijk |
Specification of the Transit Node in PSFd. |
Algebraic Methods |
1989 |
DBLP DOI BibTeX RDF |
|
20 | Joylyn Reed, Raymond T. Yeh |
Specification and Verification of Liveness Properties of Cyclic, Concurrent Processes. |
ACM Trans. Program. Lang. Syst. |
1988 |
DBLP DOI BibTeX RDF |
|
20 | David A. Duce, Elizabeth V. C. Fielding, Lynn S. Marshall |
Formal specification of a small example based on GKS. |
ACM Trans. Graph. |
1988 |
DBLP DOI BibTeX RDF |
GKS |
|
|