|
|
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 |
24 | Riccardo Mattolini, Paolo Nesi |
An Interval Logic for Real-Time System Specification. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
real-time systems, first order logic, verification and validation, Formal specification language, temporal interval logic |
24 | Pierfrancesco Bellini, Paolo Nesi |
Communicating TILCO: A Model for Real-Time System Specification. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
real-time systems, first order logic, verification and validation, formal specification language, temporal interval logic |
24 | Sergio Antoy, Richard G. Hamlet |
Automatically Checking an Implementation against Its Formal Specification. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
Self-checking code, object-oriented software testing, formal specification, rewriting |
24 | Tevfik Bultan |
Action Language: a specification language for model checking reactive systems. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
model checking, specification languages, reactive systems |
24 | Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge |
Deriving Software Specifications from Event Based Models. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
System Property, Environment Interaction, Shared module, Distributed System, Refinement, Event, System model, Concurrent Process, Program Specification, Atomic Operation |
24 | Leslie Lamport, Lawrence C. Paulson |
Should your specification language be typed. |
ACM Trans. Program. Lang. Syst. |
1999 |
DBLP DOI BibTeX RDF |
specification, types, set theory |
24 | Bouchaib Bounabat, Rahal Romadi, Salah Labhalla |
Designing Multi-Agent Reactive Systems: A Specification Method Based on Reactive Decisional Agents. |
PRIMA |
1999 |
DBLP DOI BibTeX RDF |
Reactive agent, verification, formal methods, specification, Reactive systems |
24 | Jarno Knuutila |
System Specification of Wireless Multimedia Engines: A Data Fusion Approach. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
Multimedia Application Platforms, Specification of Embedded Systems, Wireless Multimedia |
24 | Peter Frey, Radharamanan Radhakrishnan, Philip A. Wilsey, Perry Alexander, Harold W. Carter |
An Extensible Formal Framework for the Specification and Verification of an Optimistic Simulation Protocol. |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
Software Engineering, Theorem Proving, Parallel Discrete Event Simulation, PVS, Formal specification and verification |
24 | Bard Bloom, Allan Cheng, Ashvin Dsouza |
Using a Protean Language to Enhance Expressiveness in Specification. |
IEEE Trans. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
model checking, verification, Formal methods, specification, process algebra, structured operational semantics |
24 | Rachid Helaihel, Kunle Olukotun |
Java as a specification language for hardware-software systems. |
ICCAD |
1997 |
DBLP DOI BibTeX RDF |
java, Java, specification languages, hardware-software co-design |
24 | Chuchang Liu, Mehmet A. Orgun |
A Constraint Mechanism for Knowlege Specification of Simulation Systems Based on Temporal Logic. |
Australian Joint Conference on Artificial Intelligence |
1997 |
DBLP DOI BibTeX RDF |
knowledge specification, simulation, logic programming, temporal logic |
24 | Dieter Nazareth |
The Semantic Treatment of Polymorphic Specification Languages. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
polymorphic type system, algebraic semantics, axiomatic specification |
24 | Christian Creveuil, Gruia-Catalin Roman |
Formal Specification and Designof a Message Router. |
ACM Trans. Softw. Eng. Methodol. |
1994 |
DBLP DOI BibTeX RDF |
formal methods, UNITY, program derivation, specification refinement |
24 | Jacques Calmet, Indra A. Tjandra |
Building Bridges Between Knowledge Representation and Algebraic Specification. |
ISMIS |
1994 |
DBLP DOI BibTeX RDF |
modeling mathematical domains of computation, knowledge representation, program transformation, Methodology, algebraic specification |
24 | Manfred Broy |
Functional Specification of Time-Sensitive Communicating Systems. |
ACM Trans. Softw. Eng. Methodol. |
1993 |
DBLP DOI BibTeX RDF |
functional system models, real-time systems, specification |
24 | David Gray |
The Formal Specification of a Small Bookshop Information System. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
small bookshop information system, scheme calculus, software engineering, formal specification, programming theory, set theory |
24 | Arul Ganesh, K. Gopinath |
SPKI/SDSI certificate chain discovery with generic constraints. |
Bangalore Compute Conf. |
2008 |
DBLP DOI BibTeX RDF |
WPDS, certificate chain, validity specification, security, policy, SPKI/SDSI |
24 | Mila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher |
Action Refinement from a Logical Point of View. |
VMCAI |
2003 |
DBLP DOI BibTeX RDF |
verification, specification, modal logics, reactive systems, action refinement |
24 | Scott P. Overmyer |
A Methodology for Constructing User-Oriented Requirements Specifications for Large-Scale Systems Using Electronic Hypermedia. |
Requir. Eng. |
1999 |
DBLP DOI BibTeX RDF |
Multimedia, specification, Requirements, Rapid prototyping |
24 | Murali Kaundinya, Ali Syed |
Modeling event driven applications with a specification language (MEDASL). |
OOPSLA Companion |
2004 |
DBLP DOI BibTeX RDF |
DASL/OQL, application usage specification (AUS), business object specification (BOS), domain-specific-languages (DSL), model driven development, enterprise application integration (EAI) |
24 | Murali Kaundinya, Ali Syed |
Modeling event driven applications with a specification language (MEDASL). |
OOPSLA Companion |
2004 |
DBLP DOI BibTeX RDF |
DASL/OQL, application usage specification (AUS), business object specification (BOS), domain-specific- languages (DSL), model driven development, enterprise application integration (EAI) |
24 | Ravi Balakrishnan |
A Service Framework Specification for Dynamic e-Services Interaction. |
EDOC |
2000 |
DBLP DOI BibTeX RDF |
service framework specification, dynamic e-services interaction, totally inter-operable ecosystem, business-to-consumer, supply chain automation, collaborative e-commerce, trading exchanges, e-speak Service Framework Specification, truly inter-operable ecosystem, XML based business process schemas, electronic commerce, ecosystems, e-procurement, business-to-business, intelligent interaction |
24 | Charles Pecheur |
Specification and Verification of the Co4 Distributed Knowledge System using LOTOS. |
ASE |
1997 |
DBLP DOI BibTeX RDF |
Co/sub 4/ distributed knowledge system, consensual decision protocol, distributed knowledge base, ISO formal description technique, knowledge consistency, verification, formal specification, formal specification, safety, LOTOS, liveness properties |
24 | Fabiano Borges Paulo, Paulo César Masiero, Maria Cristina Ferreira de Oliveira |
Hypercharts: extended statecharts to support hypermedia specification. |
ICECCS |
1997 |
DBLP DOI BibTeX RDF |
hypercharts, extended statecharts, hypermedia specification, information synchronization requirements, timed history, timed transitions, Petri net based multimedia models, statechart models, hypermedia, synchronization mechanisms, temporal specification |
24 | Ramkumar V. Pichai, Joseph E. Urban |
A technique for validating Booch object-oriented designs from extensions to the Descartes specification language. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
Booch object-oriented design validation, Descartes specification language, executable specification language, traceability approach, real time systems, software reliability, rapid prototyping, object-oriented methods, CASE tool, safety critical software, secure systems, software validation, high assurance systems |
24 | Yong Sun, Hongji Yang |
Communication Mechanism Independent Protocol Specification Based on CSP: A Case Study. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
communication mechanism independent protocol specification, abstract synchronous communication mechanism, asynchronous communication mechanisms, computer network protocols, specification, communicating sequential processes, communicating sequential processes, alternating bit protocol, communication mechanism |
24 | Krishna Kishore Dhara, Gary T. Leavens |
Forcing Behavioral Subtyping through Specification Inheritance. |
ICSE |
1996 |
DBLP BibTeX RDF |
code reverification, specification inheritance, formal specification, object-oriented programming, C++, message passing, inheritance, object-oriented software, behavioral subtyping |
24 | Paulo Roberto Pierri Tepedino, Tereza G. Kirner |
Specification and design of distributed hard real-time systems. |
PDP |
1995 |
DBLP DOI BibTeX RDF |
distributed hard real-time systems, pre run time scheduling, HRTS, real-time systems, formal specification, graph theory, specification, distributed processing, software design, integrated approach, graph-based model |
24 | M. Esen Tuna, Kamlesh Rath, Steven D. Johnson |
Specification and synthesis of bounded indirection. |
Great Lakes Symposium on VLSI |
1995 |
DBLP DOI BibTeX RDF |
bounded indirection, complex control structures, dynamic connections, control state indirection, value indirection, net indirection, behavior tables, data path descriptions, DMA controller, formal specification, high level synthesis, finite state machines, interrupts, interrupts, continuations, hardware description languages, hardware description languages, pointers, system specification, data flow computing, control system CAD |
24 | Grace Tsai, M. Insall, Bruce M. McMillin |
Ensuring the satisfaction of a temporal specification at run-time. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
run-time temporal specification satisfaction, responsive computing system, run-time behavior, trace checking, fully distributed run-time evaluation system, train-set example, distributed system, real-time systems, real-time system, formal specification, temporal logic, distributed processing, software fault tolerance, fault-tolerant systems, interval temporal logic, operational environment |
24 | Elaine J. Weyuker, Tarak Goradia, Ashutosh Singh |
Automatically Generating Test Data from a Boolean Specification. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
formal specification, software testing, program testing, costs, Boolean algebra, test data generation, black-box testing, automatic test case generation, Boolean specification, test set size, fault detection effectiveness |
24 | F. Keith Hanna, Neil Daeche, Mark Longley |
Specification and Verification Using Dependent Types. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
VERITAS/sup +/, iterative structures, functional metalanguage, computational implementation, modeling, modelling, formal specification, theorem proving, theorem proving, iterative methods, dependent types, numerals, specification logic |
24 | Harold Ossher |
A Case Study in Structure Specification: A Grid Description of Scribe. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
structure specification, grid mechanism, Scribe, document-processing system, grid specification, environment support, software engineering, data structures, computer graphics |
24 | Yu Wang |
A Distributed Specification Model and Its Prototyping. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
distributed specification model, execution scheme, high-level state-transition language, SXL, software engineering, software engineering, complexity, prototyping, distributed processing, finite-state machine, specification languages, finite automata, high level languages, preconditions, switching systems, Boolean expressions, postconditions |
23 | David R. Musser, Zhiqing Shao |
Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
Specification techniques and languages, specification evolution and refinement, formal semantics |
23 | Jan van Katwijk, W. J. Toetenel |
Comparing formal specifications by measuring. |
RTCSA |
1995 |
DBLP DOI BibTeX RDF |
formal specification notations, software engineering, software engineering, formal specification, software development, computer science education, tool support, software development management, notation, executability, maturity, analyzability, software engineering courses |
23 | Flavio De Paoli, Francesco Tisato |
CSDL: A Language for Cooperative Systems Design. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
cooperative systems design, CSDL, group activities, cooperation policy, conferencing systems, distributed systems, software architecture, CSCW, groupware, groupware, distributed processing, specification languages, specification language, cooperative systems, shared workspaces, design language, floor control |
23 | Linda A. Ness |
L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
L.0, truly concurrent executable temporal logic language, true concurrency model, execution algorithm, standard imperative programming, state predicates, equality predicates, hierarchical message structure, Futurebus+, simulation, protocols, protocols, specification, temporal logic, specification languages, simulation languages |
23 | Brendan P. Mahony, Ian J. Hayes |
A Case-Study in Timed Refinement: A Mine Pump. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
top-level refinement, simple mine pump control system, time-based systems, topologically continuous functions, discrete properties, basic building block, specification statement, refinement laws, computerized monitoring, pumps, formal specification, parallel processes, formal method, pipelined, theorem proving, mining, refinement calculus, design decisions, sequential programs, timed systems, proof of correctness |
23 | Gregor von Bochmann, Rachida Dssouli, J. R. Zhao |
Trace Analysis for Conformance and Arbitration Testing. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
arbitration testing, implementation under test, IUT, communication protocol implementations, distributed test architectures, partial input/output traces, local observers, error-detection power, global knowledge, automated construction, trace analysis modules, reference specification, open systems interconnection, formal specification, protocols, transport protocol, program testing, open systems, conformance testing, conformance testing, OSI |
23 | Chris Matthews, Paul A. Swatman |
Fuzzy concepts and formal methods: some illustrative examples. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
fuzzy concepts, problem types, fuzzy logic toolkit, problem domains, soft preconditions, linguistically quantified propositions, modelling, formal specification, formal methods, fuzzy logic, information systems, requirements engineering, uncertainty, specification languages, specification languages, formal modelling, fuzzy set theory, fuzzy set theory, uncertainty handling, fuzzy relations, system requirements, imprecision, Z language |
23 | Arthur Alexander Reyes, Debra J. Richardson |
Siddhartha: A Method for Developing Domain-Specific Test Driver Generators. |
ASE |
1999 |
DBLP DOI BibTeX RDF |
unit under test, low testability, unit test driver, driver generator, formal test specification, formal specification, domain-specific language, specification-based testing |
23 | Denis Roegel |
Specifying Almost-Real Concurrent Object-Oriented Programs. |
PDP |
1996 |
DBLP DOI BibTeX RDF |
almost-real concurrent object-oriented programs, refinement chain, CTLA, structuring concerns, formal specification, parallel programming, parallel programming, object-oriented programming, specification, specification languages |
23 | Hans Toetenel, Ronald F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk |
Modeling and analysis of complex computer systems-the MTCCS approach. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
complex computer systems modeling, complex computer systems analysis, MTCCS approach, work in progress, real time concurrent systems, non trivial data component, Timed CCS, Model Oriented Timed Calculus of Communicating Systems, model oriented data language, operational style, temporal logic properties, combination notation, verification, formal specification, formal specification, specification language, symbolic model checking, VDM |
23 | Jean-Pierre Jacquot, A. Valdenaire |
Trading legibility against implementability in requirement specifications: an experimental assessment. |
RE |
1995 |
DBLP DOI BibTeX RDF |
experimental assessment, elisions, flexible syntaxes, incomplete texts, GLIDER, rigorous assessment, term parsing, human factor features, formal specification, formal specifications, specification languages, specification language, requirement specifications, grammars |
23 | David W. Bustard, P. J. Lundy |
Enhancing soft systems analysis with formal modelling. |
RE |
1995 |
DBLP DOI BibTeX RDF |
soft systems analysis, initial requirements definition, informal SSM models, computing oriented analysis techniques, book ordering data processing, software requirements engineering method, formal specification, formal specification, software tools, software tools, specification languages, systems analysis, formal modelling, LOTOS, formal techniques, formal descriptions, Soft Systems Methodology, RACE |
23 | Yves Le Traon, Chantal Robach |
Testability analysis of co-designed systems. |
Asian Test Symposium |
1995 |
DBLP DOI BibTeX RDF |
co-designed data-flow specifications, high level testability analysis, information transfer graph, bipartite directed graph, SATAN tool, computer assisted specification diagram, all-nodes criterion, all-paths criterion, multiple clue strategy, start big strategy, diagnosis quality factor, software components testability, formal specification, fault diagnosis, program testing, data flow analysis, computer aided software engineering, hardware description languages, data flow graphs, testability analysis, automatic test software, functional specification, test set generation, avionics systems, hardware modelling |
23 | Xiaoping Jia |
An approach to animating Z specifications. |
COMPSAC |
1995 |
DBLP DOI BibTeX RDF |
ZANS approach, animation approaches, imperative intermediate language, formal specification, computer science education, specification languages, visual programming, computer aided software engineering, requirements validation, Z specifications, code synthesis, Z specification languages |
23 | Joseph E. Urban, Hankyu Joo |
Executable specifications for distributed software systems. |
FTDCS |
1995 |
DBLP DOI BibTeX RDF |
front-end life cycle, upper CASE aspects, core software requirements, management component, distributed development teams, techniques/tools component, specification language development, formal specification, Petri nets, distributed algorithms, distributed computing, software development, temporal logic, distributed processing, specification languages, computer aided software engineering, executable specifications, distributed software systems |
23 | Kevin Lano, Stephen J. Goldsack |
Discrete event process controller synthesis using VDM++. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
ignition, control system synthesis, heat systems, discrete event process controller synthesis, VDM/sup ++/, controller specification, gas burner system, systematic method, declarative requirement statements, abstract VDM/sup ++/ specifications, concrete VDM/sup ++/ specifications, formalised requirements, refinement process, real-time systems, formal specification, temporal logic, timing, specification languages, timing analysis, object-oriented languages, process control, parallel languages, discrete event systems, programmable controllers, controller design, Vienna development method, control system CAD, Ada95, real-time temporal logic, combustion |
23 | Shiu-Kai Chin, John Faust, Joseph Giordano |
Integrating formal methods tools to support system design. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
formal methods tools integration, top-level process descriptions, gate-level hardware designs, simulators, formal specification, system design, specification languages, specification languages, systems analysis, system engineering, theorem-provers, computer-aided design tools, model checkers |
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 | Yingsha Liao, Donald Cohen |
A Specificational Approach to High Level Program Monitoring and Measuring. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
program measurement, specificational approach, high level program monitoring, execution characteristics, instrumentation code, high-level specification language, augmented program, complexities, formal specification, software metrics, specification languages, automatic programming, system monitoring, special-purpose hardware |
23 | Edmond Mesrobian, Josef Skrzypek |
A Software Environment For Studying Computational Neural Systems. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
graphics supports, computational neural systems, UCLA-SFINX, network specification language, arbitrary network structures, array constructs, X Windows System, formal specification, programming environments, specification languages, neural nets, digital simulation, simulation environment, software environment |
23 | Stanley Lee, Suzanne Sluizer |
An Executable Language For Modeling Simple Behavior. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
state transition language, executable language, simple behavior, conventional state-transition framework, model behavior, logical invariants, entity-relationship structure, declarative logic, SXL, specification-oriented methods, formal specification, logic programming, software development, specification languages, modeling language, executable model, system behavior, requirements document, behavioral description |
22 | Shih-Chien Chou, Jason Jen-Yen Chen, Chian-Goei Chung |
An executable specification language for specification understanding in object-oriented specification reuse. |
Inf. Softw. Technol. |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Yongfeng Yan |
Vers une ingénierie de la production de linguiciels : spécification et réalisation d'un prototype de poste de travail linguistique pour la spécification de correspondances structurales. (Toward an engineering of lingware production. Specification and implementation of a prototype linguistic workstation for specifying structural correspondences). |
|
1987 |
RDF |
|
22 | Maria Törö, Jinsong Zhu, Victor C. M. Leung |
SDL specification and verification of universal personal computing: with Object GEODE. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
22 | Celso A. S. Santos, Jean-Pierre Courtiat, Pierre de Saqui-Sannes |
A Design Methodology for the Formal Specification and Verification of Hypermedia Documents. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
22 | L. Andriantsiferana, Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Picci |
An Experiment in using RT-LOTOS for the Formal Specification and Verification of a Distributed Scheduling Algorithm in a Nuclear Power Plant Monitoring System. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
22 | Andreas Ulrich, Hartmut König |
Specification-based Testing of Concurrent Systems. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
22 | Manuel J. Fernández-Iglesias, Martín Llamas Nistal |
Algebraic Specification through Expression Transformation. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
22 | Jacek Wytrebowicz |
Hardware specification generated from Estelle. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
22 | Mohamed Jmaiel |
An algebraic-temporal specification of a CSMA/CD-protocol. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
22 | Dieter Barnard, Simon Crosby |
The specification and verification of an experimental ATM signalling protocol. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
22 | Dietmar Wolz |
Tool Design for Structuring Mechanisms for Algebraic Specification Languages with Initial Semantics. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
22 | Eva Coscia, Gianna Reggio |
Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission Case. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
22 | Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter |
On the Role of Category Theory in the Area of Algebraic Specification. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
22 | Jakub Bojanowski, Michal Iglewski, Jan Madey, Abdellatif Obaid |
Functional approach to protocols specification. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
22 | Peter Herrmann, Heiko Krumm |
Compositional specification and verification of high-speed transfer protocols. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
22 | Hans-Dieter Ehrich, Amílcar Sernadas |
Local Specification of Distributed Families of Sequential Objects. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Karl Meinke |
Topological Methods for Algebraic Specification. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Martin Gogolla, Rudolf Herzig |
An Algebraic Semantics for the Object Specification Language TROLL light. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Heinrich Hußmann |
Axiomatic Specification of Large Information Systems: Experiences and Consequences. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Ulrike Lechner, Christian Lengauer, Martin Wirsing |
An Object-Oriented Airport: Specification and Refinement in Maude. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Martin Wirsing |
Algebraic Specification Languages: An Overview. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
22 | José Luiz Fiadeiro, José Félix Costa |
Institutions for Behaviour Specification. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Thomas Grünler |
Specification: Algebraic Specification. |
PROSPECTRA Book |
1993 |
DBLP DOI BibTeX RDF |
|
22 | Motoshi Saeki, Takeshi Hiroi, Takanori Ugai |
Reflective Specification: Applying A Reflective Language to Formal Specification. |
IWSSD |
1993 |
DBLP BibTeX RDF |
|
22 | Ming Fang, Chris Ho-Stuart, Hussein S. M. Zedan |
Specification of Real-Time Probabilistic Behaviour. |
PSTV |
1993 |
DBLP BibTeX RDF |
|
22 | Stanislaw Budkowski, A. B. Alkhechi, Mohamed-Lyes Benalycherif, Piotr Dembinski, M. Gardie, E. Lallet, J. P. Mouchel La Fosse, Younes Souissi |
Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol. |
PSTV |
1993 |
DBLP BibTeX RDF |
|
22 | Claus Dendorfer, Rainer Weber |
From Service Specification to Protocol Entity Impelmentation - An Exercise in Formal Protocol Development. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
22 | Catharina Rieckhoff |
Towards a Theory for the Animation of Algebraic Specification. |
COMPASS/ADT |
1992 |
DBLP DOI BibTeX RDF |
|
22 | Pierre-Yves Schobbens |
Second-Order Proof Systems for Algebraic Specification Languages. |
COMPASS/ADT |
1992 |
DBLP DOI BibTeX RDF |
|
22 | Silvia Clerici, Rosa M. Jiménez, Fernando Orejas |
Semantic Constructions in the Specification Language GLIDER. |
COMPASS/ADT |
1992 |
DBLP DOI BibTeX RDF |
|
22 | Martin Große-Rhode, Uwe Wolter |
Two-Categorical Specification of Partial Algebras. |
COMPASS/ADT |
1992 |
DBLP DOI BibTeX RDF |
|
22 | Do Y. Lee, Jai-Yong Lee |
Test Generation for the Specification Written in Estelle. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
22 | Hans-Dieter Ehrich, Martin Gogolla, Amílcar Sernadas |
Objects and their Specification. |
COMPASS/ADT |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Egidio Astesiano, Gianna Reggio |
Algebraic Specification of Concurrency. |
COMPASS/ADT |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Peter Gabriel |
The Object-Based Specification Language PI: Concepts, Syntax, and Semantics. |
COMPASS/ADT |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Haruhisa Ichikawa, Kenjiroh Yamanaka, June Kato |
Incremental specification in LOTOS. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
22 | Peter van Eijk, Harro Kremer, Marten van Sinderen |
On the use of specification styles for automated protocol implementation from LOTOS to C. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
22 | Jan Friso Groote |
Specification and verification of real time systems in ACP. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
22 | Roger Duke, Gordon A. Rose, Anthony Lee |
Object-oriented protocol specification. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
22 | Marc Phalippou |
Functional Specification for an ISDN Switching System: an Experience using Estelle. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
22 | Ana R. Cavalli, François Horn |
Proof of Specification Properties by Using Finite State Machines and Temporal Logic. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
22 | Elie Najm |
A Verification Oriented Specification in LOTOS of the Transport Protocol. |
PSTV |
1987 |
DBLP BibTeX RDF |
|
22 | Richard Castanet, A. Dupeux, Pascal Guitton |
ADA, a well suited language for specification and implementation of protocols. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
22 | R. C. Venkatraman, Thomas F. Piatkowski |
A formal comparison of formal protocol specification techniques. |
PSTV |
1985 |
DBLP BibTeX RDF |
|
Displaying result #601 - #700 of 29225 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|