|
|
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 | Antonella Di Stefano, Michele Malgeri, Orazio Mirabella |
A specification of a PROWAY protocol with an Algebraic language. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
22 | Otto Haas |
Formal protocol specification based on attribute grammars. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
22 | Wolfgang Fischer 0002, Klaus Sauer, W. Denzel |
A simulation technique for communications protocols based on a formal specification by SDL. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
22 | David P. Anderson, Lawrence H. Landweber |
Protocol Specification by Real-Time Attribute Grammars. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
22 | Giuseppe Scollo, Antonio Anzalone, Paolo Finocchiaro, Francesco Giustolisi, Giovanni Raciti |
Specification and Implementation of the MONDAN System. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
22 | A. Udaya Shankar, Simon S. Lam |
Specification and Verification of Time-Dependant Communication Protocols. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
22 | Wolfgang Jürgensen, Son T. Vuong |
CSP and CSP Nets: A Dual Model for Protocol Specification and Verification. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
22 | S. Aggarwal, Robert P. Kurshan |
Automated Implementation from Formal Specification. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
22 | Nihal Nounou, Yechiam Yemini |
Algebraic Specification-Based Performance Analysis of Communication Protocols. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
22 | Daniel Schwabe, Ana R. Cavalli |
Temporal Logic Specification of a Virtual Ring LAN Access Protocol. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
22 | Björn Pehrson, Michael Yoeli |
A Communicating System Net Model for Specification and Verification of Distributed Nets. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
22 | Deepinder P. Sidhu, Thomas P. Blumer |
Some Problems with the Specification of the Military Standard Transmission Control Protocol. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
22 | Ed Brinksma, Günter Karjoth |
A Specification of the OSI Transport Service in LOTOS. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
22 | Jonathan Billington |
Specification of the Transport Service Using Numerical Petri Nets. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
22 | Thomas F. Piatkowski, Lap-Kin Ip, Dayun He |
State Architecture Notation and Simulation: A Formal Technique for the Specification and Testing of Protocol Systems. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
22 | Luigi Logrippo, Robert L. Probert |
Protocol/Specification-Level Validation. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
22 | Gerald A. Simon, David J. Kaufman |
An Extended Finite State Machine Approach to Protocol Specification. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
22 | Richard W. Watson |
An Experience in Transport Protocol Specification Using an Algorithmic Programming Language. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
22 | Thomas P. Blumer, John C. Burruss |
Generating a Service Specification of a Connection Management Protocol. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
22 | Benedetto L. DiVito |
Integrated Methods for Protocol Specification and Verification. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
22 | James F. Kurose |
The Specification and Verification of a Connection Establishment Protocol Using Temporal Logic. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
22 | Richard L. Schwartz, P. M. Melliar-Smith |
From State Machines to Temporal Logic: Specification Methods for Protocol Standards. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
22 | Letu Yang, Michael Poppleton |
Automatic Translation from Combined B and CSP Specification to Java Programs. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
22 | El Mustapha El Atifi, Gilles Falquet |
A Specification Language and System for the Three-Dimensional Visualisation of Knowledge Bases. |
DSV-IS |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Benjamin Braatz, Markus Klein 0001, Gunnar Schröter |
Semantical Integration of Object-Oriented Viewpoint Specification Techniques. |
SoftSpez Final Report |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Brian Demsky, Martin C. Rinard |
Static Specification Analysis for Termination of Specification-Based Data Structure Repair. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Christine Poerschke, David E. Lightfoot, John L. Nealon |
A Formal Specification in B of a Medical Decision Support System. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Pamela Zave, Michael Jackson 0001 |
Techniques for Partial Specification and Specification of Switching Systems. |
VDM Europe (1) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Robert Balzer, Neil M. Goldman |
Principles of good software specification and their implications for specification languages. |
AFIPS National Computer Conference |
1981 |
DBLP DOI BibTeX RDF |
|
22 | Sam Weber, Amitkumar M. Paradkar, Suzanne McIntosh, David C. Toll, Paul A. Karger, Matthew Kaplan 0003, Elaine R. Palmer |
The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System. |
ISSRE |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Hui Liang, Jin Song Dong, Jing Sun 0002, Roger Duke, Rudolph E. Seviora |
Formal Specification-based Online Monitoring. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Markus Garschhammer, Harald Rölle |
Requirements on Quality Specification Posed by Service Orientation. |
DSOM |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Sun-Jen Huang, Richard Lai 0001 |
Measuring the Maintainability of a Communication Protocol Based on Its Formal Specification. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
factor-subfactor-metric model, software metrics, Formal description techniques, Estelle, software maintainability |
22 | Abdesselam Redouane |
A New Definitional Specification Language. |
ICCSA (1) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Benjamin C. Pierce, Jerome Vouillon |
Unison: A File Synchronizer and Its Specification. |
TACS |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Giovanna Dondossola, Oliver Botti |
System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches. |
FASE |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Zhenyu Qian |
A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines. |
Formal Syntax and Semantics of Java |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Jeffrey M. Thompson, Mats Per Erik Heimdahl, Steven P. Miller |
Specification-Based Prototyping for Embedded Systems. |
ESEC / SIGSOFT FSE |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Raymond E. Miller, Z. U. Chaudry |
On estimating protocol performance from a formal specification. |
IPCCC |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Jo Erskine Hannay |
Specification Refinement with System F. |
CSL |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour |
Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS. |
ISSTA |
1996 |
DBLP DOI BibTeX RDF |
|
22 | David Lee 0001, K. K. Ramakrishnan, W. Melody Moh, A. Udaya Shankar |
Protocol Specification Using Parameterized Communicating Extended Finite Stte Machines - A Case Study of The ATM ABR Rate Control Scheme. |
ICNP |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Alok N. Choudhary, Vijay Gehlot, Bhagirath Narahari |
Syntax and Semantics of PRETSEL - A Specification Language for Parallel Real-Time Systems. |
HICSS (1) |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Huimin Lin |
Procedural Implementation of Algebraic Specification. |
ACM Trans. Program. Lang. Syst. |
1993 |
DBLP DOI BibTeX RDF |
abstract implementation, Spec, program refinement, procedural abstraction |
22 | Danny B. Lange |
A Formal Approach to Hypertext using Post-Prototype Formal Specification. |
VDM Europe |
1990 |
DBLP DOI BibTeX RDF |
|
22 | Anne Mauboussin, H. Perdrix, Michel Bidoit, Marie-Claude Gaudel, Jacques Hagelstein |
From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study. |
Algebraic Methods |
1989 |
DBLP DOI BibTeX RDF |
|
22 | XinJie Jiang, YongSen Xu |
NUSL: An Executable Specification Language Based on Data Abstraction. |
VDM Europe |
1988 |
DBLP DOI BibTeX RDF |
|
22 | Martin S. Feather |
Language Support for the Specification and Development of Composite Systems. |
ACM Trans. Program. Lang. Syst. |
1987 |
DBLP DOI BibTeX RDF |
Gist |
22 | Dave Neilson |
Hierarchical Refinement Of A Z Specification. |
FSTTCS |
1987 |
DBLP DOI BibTeX RDF |
|
22 | John V. Guttag, James J. Horning |
Formal Specification as a Design Tool. |
POPL |
1980 |
DBLP DOI BibTeX RDF |
|
22 | Stefan Hallerstede, Michael J. Butler |
Performance analysis of probabilistic action systems. |
Formal Aspects Comput. |
2004 |
DBLP DOI BibTeX RDF |
Trace refinement, Simulation, Markov decision process |
22 | Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
KIV 3.0 for Provably Correct Systems. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Doron A. Peled |
Sometimes 'Some' is as Good as 'All'. |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
22 | Jameleddine Hassine, Juergen Rilling, Rachida Dssouli |
Use Case Maps as a property specification language. |
Softw. Syst. Model. |
2009 |
DBLP DOI BibTeX RDF |
Temporal and architectural scope, Formal verification, Temporal logic, Use Case Maps, Property specification |
22 | Tomás Poch, Frantisek Plásil |
Extracting Behavior Specification of Components in Legacy Applications. |
CBSE |
2009 |
DBLP DOI BibTeX RDF |
Component behavior specification, Reverse engineering |
22 | José Luis de la Vara, Juan Sánchez |
BPMN-Based Specification of Task Descriptions: Approach and Lessons Learnt. |
REFSQ |
2009 |
DBLP DOI BibTeX RDF |
Information System, Requirements Specification, Requirements Elicitation, BPMN, Task Description |
22 | Emil Vassev, Mike Hinchey, Joey Paquet |
Towards an ASSL specification model for NASA swarm-based exploration missions. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
swarm missions, autonomic computing, formal specification language |
22 | Lei Wang 0002, Nicholas J. Dingle, William J. Knottenbelt |
Natural Language Specification of Performance Trees. |
EPEW |
2008 |
DBLP DOI BibTeX RDF |
Performance requirements specification, Performance Trees, Performance analysis, Natural language |
22 | Yongwu Miao, Peter B. Sloep, Rob Koper |
Modeling Units of Assessment for Sharing Assessment Process Information: Towards an Assessment Process Specification. |
ICWL |
2008 |
DBLP DOI BibTeX RDF |
e-learning standard, IMS QTI, assessment process specification, new forms of assessment, IMS LD |
22 | Stephan Frohnhoff, Thomas Engeroff |
Field Study: Influence of Different Specification Formats on the Use Case Point Method. |
IWSM/Metrikon/Mensura |
2008 |
DBLP DOI BibTeX RDF |
project effort estimation, top-down estimation, UCP, estimation reproducibility, specification, field study, use case points |
22 | Nelson Souto Rosa, Paulo Roberto Freire Cunha |
A formal framework for middleware behavioural specification. |
ACM SIGSOFT Softw. Eng. Notes |
2007 |
DBLP DOI BibTeX RDF |
middleware, formal specification, framework, LOTOS |
22 | Thomas Fleischmann |
Model Based HMI Specification in an Automotive Context. |
HCI (8) |
2007 |
DBLP DOI BibTeX RDF |
HMI Specification, Code generation, Domain Specific Language, Model based |
22 | Iakovos Ouranos, Petros S. Stefaneas |
Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques. |
CAI |
2007 |
DBLP DOI BibTeX RDF |
Algebraic Specification and Verification, Observational Transition Systems, SPINS Protocol suite, Sensor Networks, CafeOBJ |
22 | Lea Skorin-Kapov, Maja Matijasevic |
A data specification model for multimedia QoS negotiation. |
MobiMedia |
2007 |
DBLP DOI BibTeX RDF |
data specification, QoS, multimedia, adaptation, negotiation |
22 | 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 |
22 | Ádám Darvas, Peter Müller 0001 |
Faithful mapping of model classes to mathematical structures. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
model classes, verification, specification, abstraction, isomorphism, java modeling language |
22 | Yannick Le Moullec, Jean-Philippe Diguet, Nader Ben Amor, Thierry Gourdeaux, Jean Luc Philippe |
Algorithmic-level Specification and Characterization of Embedded Multimedia Applications with Design Trotter. |
J. VLSI Signal Process. |
2006 |
DBLP DOI BibTeX RDF |
algorithm/architecture matching, specification, SoCs, design-space exploration, characterization |
22 | Deni Torres Román, Joaquín Cortez González, Raul Ernesto Gonzalez-Torres |
Improving the Digital Design with Semi-formal Specification. |
CONIELECOMP |
2006 |
DBLP DOI BibTeX RDF |
semiformal specification, model checking tools, assertions, properties, Assertion based verification |
22 | Hongmei Chi, Edward L. Jones, Deidre W. Evans, Martin Brown |
Generating Test Data for Specification-Based Tests Via Quasirandom Sequences. |
International Conference on Computational Science (4) |
2006 |
DBLP DOI BibTeX RDF |
specification-driven test, functional test coverage, quasirandom numbers, well-distributed sequences, automatic test case generation |
22 | Shamus P. Smith, James S. Willans |
Virtual object specification for usable virtual environments. |
OZCHI |
2006 |
DBLP DOI BibTeX RDF |
virtual world objects, design, virtual environments, specification, requirements, scenarios |
22 | Humberto Nicolás Castejón Martínez, Rolv Bræk |
A collaboration-based approach to service specification and detection of implied scenarios. |
SCESM |
2006 |
DBLP DOI BibTeX RDF |
UML 2.0 collaborations, goal sequences, implied scenarios, roles, goals, service specification |
22 | Annette Bunker, Ganesh Gopalakrishnan, Konrad Slind |
Live sequence charts applied to hardware requirements specification and verification. |
Int. J. Softw. Tools Technol. Transf. |
2005 |
DBLP DOI BibTeX RDF |
Protocol compliance, Virtual Component Interface Standard, Formal verification, Specification, Live Sequence Charts |
22 | Chinyang Henry Tseng, Tao Song, Poornima Balasubramanyam, Calvin Ko, Karl N. Levitt |
A Specification-Based Intrusion Detection Model for OLSR. |
RAID |
2005 |
DBLP DOI BibTeX RDF |
Specification based IDS, MANET, Mobile ad hoc network, Intrusion Detection, Network Security, Constraints, OLSR |
22 | Elisa Bertino, Ahmed K. Elmagarmid, Mohand-Said Hacid |
A Logical Approach to Quality of Service Specification in Video Databases. |
Multim. Tools Appl. |
2004 |
DBLP DOI BibTeX RDF |
QoS mapping, constraint-based query languages, constraint satisfaction, reactive systems, video databases, multimedia presentations, constraint optimization, QoS parameters, QoS specification |
22 | Prasanna Thati, Carolyn L. Talcott, Gul Agha |
Techniques for Executing and Reasoning about Specification Diagrams. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
Graphical specification languages, may testing, trace equivalence, rewriting logic, calculus |
22 | Miguel A. de Miguel, M. Teresa Higuera-Toledano |
Runtime Management of Quality Specification for QoS-Aware Components. |
EUROMICRO |
2004 |
DBLP DOI BibTeX RDF |
Component Infrastructures, Model-Driven Component Development, Quality of Service Specification |
22 | Sule Nair, Rachel Cardell-Oliver |
Formal specification and analysis of performance variation in sensor network diffusion protocols. |
MSWiM |
2004 |
DBLP DOI BibTeX RDF |
temporal logic of actions, sensor network, formal specification, directed diffusion |
22 | Elisa Bertino, Ahmed K. Elmagarmid, Mohand-Said Hacid |
A Database Approach to Quality of Service Specification in Video Databases. |
SIGMOD Rec. |
2003 |
DBLP DOI BibTeX RDF |
QoS Mapping, constraint-based query languages, quality of service, constraint satisfaction, video databases, multimedia presentations, QoS Parameters, QoS Specification |
22 | Xiaofeng Gong, Julian Newman |
The Role of Deontic Concepts and Commitment in the Policy Specification of Mobile Computing Environment. |
OTM Workshops |
2003 |
DBLP DOI BibTeX RDF |
deontic concepts, speech acts oriented communication, mobile computing, Commitment, commitments, security policy specification |
22 | Serdar Tasiran, Yuan Yu, Brannon Batson |
Using a formal specification and a model checker to monitor and direct simulation. |
DAC |
2003 |
DBLP DOI BibTeX RDF |
model checking, specification, abstraction, coverage |
22 | Frank Feiks, David Hemer |
Specification Matching of Object-Oriented Components. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
OO components, retrieval, specification matching |
22 | Soon-Jyh Chang, Chung-Len Lee 0001, Jwu E. Chen |
Structural Fault Based Specification Reduction for Testing Analog Circuits. |
J. Electron. Test. |
2002 |
DBLP DOI BibTeX RDF |
specification-based test, analog test, fault-based test, test cost reduction |
22 | Rasool Jalili, Mohsen Rezvani |
Specification and Verification of Security Policies in Firewalls. |
EurAsia-ICT |
2002 |
DBLP DOI BibTeX RDF |
Formal Specification, Security Policy, Firewall |
22 | Marielle Doche, Andrew M. Gravell |
Extraction of Abstraction Invariants for Data Refinement. |
ZB |
2002 |
DBLP DOI BibTeX RDF |
failure refinement, distributed system, Formal specification, CSP, B, data refinement |
22 | Michael Leuschel |
Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
Implementation and Compilation, Verification, Concurrency, Specification |
22 | Marielle Doche, Isabelle Vernier-Mounier, Fabrice Kordon |
A Modular Approach to the Specification and Validation of an Electrical Flight Control System. |
FME |
2001 |
DBLP DOI BibTeX RDF |
Verification, Modularity, Test Generation, Case Tools, Heterogeneous Specification |
22 | Stefan Sauer 0001, Gregor Engels |
UML-based Behavior Specification of Interactive Multimedia Applications. |
HCC |
2001 |
DBLP DOI BibTeX RDF |
UML, interactive multimedia, behavior specification, integrated modeling |
22 | Mor Peleg, Dov Dori |
The Model Multiplicity Problem: Experimenting with Real-Time Specification Methods. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
Analysis and design methodologies, real-time systems specification, quality of analysis, software engineering and empirical evaluation, experimentation, object-oriented analysis, object-process methodology |
22 | Edwin D. de Jong, Jaco van de Pol, Jozef Hooman |
Refinement in Requirements Specification and Analysis: A Case Study. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
requirements specification and analysis, formal methods, refinement, theorem provers |
22 | Rémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre |
Petri Net Based Behavioural Specification of CORBA Systems. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
behavioural specification, Distributed systems, CORBA, high-level Petri nets |
22 | Rémi Bastide, Ousmane Sy, Philippe A. Palanque |
Formal Specification and Prototyping of CORBA Systems. |
ECOOP |
1999 |
DBLP DOI BibTeX RDF |
Formal methods, Petri nets, CORBA, behavioral specification, Distributed object-oriented systems |
22 | Rodolphe Ortalo |
A Flexible Method for Information System Security Policy Specification. |
ESORICS |
1998 |
DBLP DOI BibTeX RDF |
information systems, deontic logic, security policy specification |
22 | Alberto Coen-Porisini, Carlo Ghezzi, Richard A. Kemmerer |
Specification of Realtime Systems Using ASTRAL. |
IEEE Trans. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
ASLAN, TRIO, Formal methods, temporal logic, assertions, state machines, composability, timing requirements, formal specification and verification, realtime systems |
22 | Amnon H. Eden, Amiram Yehudai, Joseph Gil |
Precise Specification and Automatic Application of Design Patterns. |
ASE |
1997 |
DBLP DOI BibTeX RDF |
precise pattern specification, automatic pattern application, meta-programming language, software tool prototype, source code test, source code editing, algorithm, design patterns, object-oriented design, object-oriented methods |
22 | Phil Stocks, David A. Carrington |
A Framework for Specification-Based Testing. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
Specification-based testing, testing strategies, test oracles, Z notation, test data |
22 | Roderick McConnell, Dominique Lavenier |
Prototyping of VLSI components from a formal specification. |
J. VLSI Signal Process. |
1996 |
DBLP DOI BibTeX RDF |
Synchronous Data Flow, Formal Specification, VLSI |
22 | Issam A. Hamid |
A dynamic Extension for the Specification of Distributed Systems. |
APSEC |
1996 |
DBLP DOI BibTeX RDF |
dynamic extension, distributed systems, software engineering, specification |
22 | Richard C. Scalzo, Michelle M. Hugue |
A Framework for Dependability Specification. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
real-time, framework, specification, dependability |
22 | Alberto Del Bimbo, Enrico Vicario |
Specification by-Example of Virtual Agents Behavior. |
IEEE Trans. Vis. Comput. Graph. |
1995 |
DBLP DOI BibTeX RDF |
Interactive graphic environments, specification by-example, human-computer interaction, virtual reality, animation, rapid prototyping, spatio-temporal reasoning |
22 | Karl R. P. H. Leung, Daniel Kim Chung Chan |
Prototyping the Structured Specification as Logic Programs. |
APSEC |
1995 |
DBLP DOI BibTeX RDF |
Structured Specification, Formal Methods, Prototyping |
|
|