|
|
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 |
26 | Lo Ko, Christopher A. Healy, Emily Ratliff, Robert D. Arnold, David B. Whalley, Marion G. Harmon |
Supporting the specification and analysis of timing constraints. |
IEEE Real Time Technology and Applications Symposium |
1996 |
DBLP DOI BibTeX RDF |
timing constraints analysis, real-time programmers, user-friendly environment, user specification, real-time systems, user interface, formal specification, timing, synchronisation, timing constraints, computer aided software engineering, C language, C program, project support environments |
26 | Steve M. Easterbrook, Bashar Nuseibeh |
Managing inconsistencies in an evolving specification. |
RE |
1995 |
DBLP DOI BibTeX RDF |
evolving specification, recurrent inconsistencies, unresolved inconsistencies, resolved inconsistencies, work record, formal specification, data integrity, software development management, ViewPoints, inconsistency management, partial specifications |
26 | Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour |
Formal specification and verification of communication protocols using automated tools . |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
OSI protocol, large models, simulation, modelling, formal specification, formal specification, testing, protocols, formal verification, software tools, validation, theorem proving, process algebra, communication protocols, open systems, algebra, formal logic, automated tools, model checker, model testing, complex models, automated theorem prover |
26 | Farnam Jahanian, Aloysius K. Mok |
Modechart: A Specification Language for Real-Time Systems. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
Modechart, absolute timing, real-time clock, RTL formulas, RTL assertions, graphical implementation, SARTOR, real-time systems, real-time systems, semantics, specification languages, specification language, rapid prototyping, timing constraints, abstraction levels, logic programming languages, hierarchical organization, real-time logic |
26 | Babak Hamidzadeh, Shashi Shekhar |
Specification and Analysis of Real-time Problem Solvers. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
real-time artificial intelligence, real-time problem, real-time AI problem solvers, DYNORAII, RTA*, real-time path planning problem, deadline compliance, response-time minimization, real-time systems, computational complexity, formal specification, formal specification, problem solving, path planning, average-case complexity |
26 | Valdis Berzins, Luqi, Amiram Yehudai |
Using Transformations in Specification-Based Prototyping. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
software tool support, specification-based prototyping, system interfaces, externally observable behavior, chronological derivation sequences, formal specification, software evolution, process model, software prototyping, abstraction level, software transformations, system description |
26 | Leslie S. Smith |
A Framework for Neural Net Specification. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
neural net specification, interacting processing elements, formal specification, framework, connections, neural nets, transfer functions, mathematical framework |
26 | Jonathan Billington, Geoffrey R. Wheeler, Michael C. Wilbur-Ham |
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
PROTEAN, high-level Petri net tool, numerical Petri nets, textual interfaces, exhaustive reachability analysis, directed graph analysis, engineering workstation, verification, protocols, specification, software tools, finite state machines, specification languages, directed graphs, communication protocols, finite automata, graphical interfaces, interactive simulation |
26 | Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Synthesis of Behavioral Models from Scenarios. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
scenario-based specification, sequence chart combination, requirements analysis, Requirements specification, Message Sequence Charts |
26 | Fujio Nishida, Shinobu Takamatsu, Yoneharu Fujita, Tadaaki Tani |
Semi-Automatic Program Construction From Specifications Using Library Modules. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
case-like expressions, semiautomatic specification refinement, library modules, refinement system, module-aided program construction system, pseudo-natural language expressions, formal specification, software tools, MAPS, programming language, automatic programming, subroutines, program generation |
26 | Shusaku Iida, José Meseguer 0001, Kazuhiro Ogata 0001 (eds.) |
Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Takeo Yaku, Koichi Anada, Koushi Anzai, Shinji Koka, Youzou Miyadera, Kensei Tsuchida |
8k-ary Grid Graph Models of Tabular Forms. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Grigore Rosu, Dorel Lucanu |
Behavioral Rewrite Systems and Behavioral Productivity. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Simon Cruanes, Stijn Heymans, Ian A. Mason, Sam Owre, Natarajan Shankar |
The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract). |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Rolf Hennicker, Annabelle Klarl |
Foundations for Ensemble Modeling - The Helena Approach - Handling Massively Distributed Systems with ELaborate ENsemble Architectures. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Bertrand Meyer 0001, Alexander Kogtenkov |
Negative Variables and the Essence of Object-Oriented Programming. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Jiaxiang Liu 0001, Jean-Pierre Jouannaud |
Confluence: The Unifying, Expressive Power of Locality. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Yongxin Zhao, Jin Song Dong, Yang Liu 0003, Jun Sun 0001 |
Towards a Combination of CafeOBJ and PAT. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Daniel Gâinâ, Dorel Lucanu, Kazuhiro Ogata 0001, Kokichi Futatsugi |
On Automation of OTS/CafeOBJ Method. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Petros S. Stefaneas, Iakovos Ouranos, Nikolaos Triantafyllou, Katerina Ksystra |
Some Engineering Applications of the OTS/CafeOBJ Method. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Shin Nakajima 0001 |
Everlasting Challenges with the OBJ Language Family. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Óscar Martín 0001, Alberto Verdejo, Narciso Martí-Oliet |
Model Checking TLR* Guarantee Formulas on Infinite Systems. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Razvan Diaconescu |
CafeOBJ Traces. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Santiago Escobar 0001 |
Functional Logic Programming in Maude. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Till Mossakowski, Wieslaw Pawlowski, Donald Sannella, Andrzej Tarlecki |
Parchments for CafeOBJ Logics. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Min Zhang 0002, Kazuhiro Ogata 0001, Kokichi Futatsugi |
Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Anne E. Haxthausen |
An Institution for Imperative RSL Specifications. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Dines Bjørner |
Domain Endurants - An Analysis and Description Process Model. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Shaoying Liu |
Extending Operation Semantics to Enhance the Applicability of Formal Refinement. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Leon J. Osterweil |
On Formal Definition and Analysis of Formal Verification Processes. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Jon Grov, Peter Csaba Ölveczky |
Formal Modeling and Analysis of Google's Megastore in Real-Time Maude. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Masaki Nakamura 0001, Kazuhiro Ogata 0001, Kokichi Futatsugi |
Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | John Rushby |
The Versatile Synchronous Observer. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Francisco Durán 0001, Manuel Roldán, Antonio Moreno-Delgado, José María Álvarez 0002 |
Dynamic Validation of Maude Prototypes of UML Models. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña |
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way). |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott |
Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Camilo Rocha, José Meseguer 0001 |
Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Lenz Belzner, Rocco De Nicola, Andrea Vandin, Martin Wirsing |
Reasoning (on) Service Component Ensembles in Rewriting Logic. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
Behaviour, Interaction and Dynamics. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio |
Synthesis of Infinite-State Abstractions and Their Use for Software Validation. |
Specification, Algebra, and Software |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Mark Timmer, Ed Brinksma, Mariëlle Stoelinga |
Model-Based Testing. |
Software and Systems Safety - Specification and Verification |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Constance L. Heitmeyer |
Requirements Models for Critical Systems. |
Software and Systems Safety - Specification and Verification |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Doron A. Peled |
Model Checking. |
Software and Systems Safety - Specification and Verification |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Carlo Ghezzi |
Engineering Evolving and Self-Adaptive Systems: An Overview. |
Software and Systems Safety - Specification and Verification |
2011 |
DBLP DOI BibTeX RDF |
|
26 | John Harrison 0001 |
Formal Verification. |
Software and Systems Safety - Specification and Verification |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane |
Model-Based Verification and Analysis for Real-Time Systems. |
Software and Systems Safety - Specification and Verification |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Holger Hermanns, Lijun Zhang 0001 |
From Concurrency Models to Numbers - Performance and Dependability. |
Software and Systems Safety - Specification and Verification |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Tony Hoare, John Wickerson |
Unifying Models of Data Flow. |
Software and Systems Safety - Specification and Verification |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Jens Palsberg (eds.) |
Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Olivier Danvy |
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines. |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Malgorzata Biernacka, Olivier Danvy |
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines. |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi |
Mobile Processes and Termination. |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
26 | José Meseguer 0001 |
Order-Sorted Parameterization and Induction. |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Kristian Støvring, Søren B. Lassen |
A Complete, Co-inductive Syntactic Theory of Sequential Control and State. |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Hanne Gottliebsen, Kristoffer H. Rose |
Converting between Combinatory Reduction Systems and Big Step Semantics. |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Ben L. Titzer, Jens Palsberg |
Vertical Object Layout and Compression for Fixed Heaps. |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Jens Palsberg |
Tribute to Peter Mosses. |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
26 | David A. Watt |
Action Semantics in Retrospect. |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Mark G. J. van den Brand, Arjan P. van der Meer, Alexander Serebrenik |
Type Checking Evolving Languages with MSOS. |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
26 | André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante |
An Implementation of Object-Oriented Action Semantics in Maude. |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Kyung-Goo Doh, David A. Schmidt |
An Action Semantics Based on Two Combinators. |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
26 | David P. LaPotin, Charles J. Alpert, John Lillis (eds.) |
Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002 |
Timing Issues in the Specification and Synthesis of Digital Systems |
2002 |
DBLP BibTeX RDF |
|
26 | Hai Zhou 0001 |
Clock schedule verification with crosstalk. |
Timing Issues in the Specification and Synthesis of Digital Systems |
2002 |
DBLP DOI BibTeX RDF |
verification, delay, coupling, clock schedule |
26 | Ei Ando, Masafumi Yamashita, Toshio Nakata, Yusuke Matsunaga |
The statistical longest path problem and its application to delay analysis of logical circuits. |
Timing Issues in the Specification and Synthesis of Digital Systems |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Farhana Sheikh, Andreas Kuehlmann, Kurt Keutzer |
Minimum-power retiming for dual-supply CMOS circuits. |
Timing Issues in the Specification and Synthesis of Digital Systems |
2002 |
DBLP DOI BibTeX RDF |
dual-supply, retiming theory, low-power, synthesis, low-power design |
26 | Haydar Saaied, Dhamin Al-Khalili, Asim J. Al-Khalili, Mohamed Nekili |
Quadratic deferred-merge embedding algorithm for zero skew clock distribution network. |
Timing Issues in the Specification and Synthesis of Digital Systems |
2002 |
DBLP DOI BibTeX RDF |
VLSI, clock distribution network, zero skew |
26 | Avi Efrati, Moshe Kleyner |
Timing analysis challenges for high speed CPUs at 90nm and below. |
Timing Issues in the Specification and Synthesis of Digital Systems |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Himanshu Kaul, Dennis Sylvester, David T. Blaauw |
Active shielding of RLC global interconnects. |
Timing Issues in the Specification and Synthesis of Digital Systems |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Sangyun Kim 0001, Sunan Tugsinavisut, Peter A. Beerel |
Reducing probabilistic timed petri nets for asynchronous architectural analysis. |
Timing Issues in the Specification and Synthesis of Digital Systems |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Jun Chen 0008, Lei He 0001 |
Determination of worst-case crosstalk noise for non-switching victims in GHz+ buses. |
Timing Issues in the Specification and Synthesis of Digital Systems |
2002 |
DBLP DOI BibTeX RDF |
interconnect design |
26 | Duane S. Boning, Joseph Panganiban, Karen Gonzalez-Valentin, Sani R. Nassif, Chandler McDowell, Anne E. Gattiker, Frank Liu 0001 |
Test structures for delay variability. |
Timing Issues in the Specification and Synthesis of Digital Systems |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Min Zhao 0001, Kaushik Gala, Vladimir Zolotov, Yuhong Fu, Rajendran Panda, R. Ramkumar, Bhuwan K. Agrawal |
Worst case clock skew under power supply variations. |
Timing Issues in the Specification and Synthesis of Digital Systems |
2002 |
DBLP DOI BibTeX RDF |
clock skew, power supply noise, clock network |
26 | Kurt Keutzer, Michael Orshansky |
From blind certainty to informed uncertainty. |
Timing Issues in the Specification and Synthesis of Digital Systems |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Aseem Agarwal, David T. Blaauw, Vladimir Zolotov, Sarma B. K. Vrudhula |
Statistical timing analysis using bounds and selective enumeration. |
Timing Issues in the Specification and Synthesis of Digital Systems |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Paul I. Pénzes, Mika Nyström, Alain J. Martin |
Transistor sizing of energy-delay--efficient circuits. |
Timing Issues in the Specification and Synthesis of Digital Systems |
2002 |
DBLP DOI BibTeX RDF |
energy-delay optimization, transistor sizing |
26 | Louis Scheffer |
Explicit computation of performance as a function of process variation. |
Timing Issues in the Specification and Synthesis of Digital Systems |
2002 |
DBLP DOI BibTeX RDF |
static timing, process variation, yield, statistical timing |
26 | Brian A. Floyd, Xiaoling Guo, James Caserta, Timothy O. Dickson, Chih-Ming Hung, Kihong Kim, Kenneth K. O |
Wireless interconnects for clock distribution. |
Timing Issues in the Specification and Synthesis of Digital Systems |
2002 |
DBLP DOI BibTeX RDF |
integrated antenna, wireless interconnect, wireless communication, interconnect, clock distribution, RF CMOS |
26 | Joni Dambre, Dirk Stroobandt, Jan Van Campenhout |
A probabilistic approach to clock cycle prediction. |
Timing Issues in the Specification and Synthesis of Digital Systems |
2002 |
DBLP DOI BibTeX RDF |
clock cycle prediction, performance modeling, interconnect prediction |
26 | Ali Dasdan |
Efficient algorithms for debugging timing constraint violations. |
Timing Issues in the Specification and Synthesis of Digital Systems |
2002 |
DBLP DOI BibTeX RDF |
over-constraint resolution, scheduling, high-level synthesis, constraint satisfaction, timing constraints, behavioral synthesis, rate analysis |
26 | Kanak Agarwal, Dennis Sylvester, David T. Blaauw |
A library compatible driving point model for on-chip RLC interconnects. |
Timing Issues in the Specification and Synthesis of Digital Systems |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Baris Taskin, Ivan S. Kourtev |
Performance optimization of single-phase level-sensitive circuits using time borrowing and non-zero clock skew. |
Timing Issues in the Specification and Synthesis of Digital Systems |
2002 |
DBLP DOI BibTeX RDF |
optimization, linear programming, clock skew, cycle stealing |
26 | Bhavana Thudi, David T. Blaauw |
Efficient switching window computation for cross-talk noise. |
Timing Issues in the Specification and Synthesis of Digital Systems |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Aseem Agarwal, David T. Blaauw, Vladimir Zolotov, Sarma B. K. Vrudhula |
Statistical timing analysis using bounds and selective enumeration. |
Timing Issues in the Specification and Synthesis of Digital Systems |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Vasant B. Rao, Jeffrey Soreff, Ravichander Ledalla, Fred L. Yang |
Aggressive crunching of extracted RC netlists. |
Timing Issues in the Specification and Synthesis of Digital Systems |
2002 |
DBLP DOI BibTeX RDF |
RC reduction, TICER, crunching, node elimination, resistor shorting, time constants, interconnect modeling, elmore delay |
26 | Chandramouli V. Kashyap, Charles J. Alpert, Frank Liu 0001, Anirudh Devgan |
PERI: a technique for extending delay and slew metrics to ramp inputs. |
Timing Issues in the Specification and Synthesis of Digital Systems |
2002 |
DBLP DOI BibTeX RDF |
Elmore, slew, delay, interconnects, PDF, moments, median, skewness, standard deviation |
26 | Rudolf Berghammer, Yassine Lakhnech (eds.) |
Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998 |
Tool Support for System Specification, Development and Verification |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Sebastiaan van Vlijmen |
Engineering, Software and Hypotheses. |
Algebraic Specification in Action |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Sebastiaan van Vlijmen, Jan Friso Groote, Wilco Koorn |
The Vital Processor Interlocking. |
Algebraic Specification in Action |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Sebastiaan van Vlijmen, Steven Klusener, Alexander Schrijver |
The Compact Dynamic Bus Station. |
Algebraic Specification in Action |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Sebastiaan van Vlijmen, Arjan van Waveren |
Road Traffic Regulation. |
Algebraic Specification in Action |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Sebastiaan van Vlijmen |
Preface. |
Algebraic Specification in Action |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Sebastiaan van Vlijmen |
Conclusion. |
Algebraic Specification in Action |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Sebastiaan van Vlijmen, Arjan van Waveren, Paul Vriend |
The Generic Structure Editor. |
Algebraic Specification in Action |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Sebastiaan van Vlijmen, Jos van Wamel |
A Semantic Approach to Protocold. |
Algebraic Specification in Action |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Sebastiaan van Vlijmen |
Epitomes of Four other Cases. |
Algebraic Specification in Action |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Hélène Kirchner |
Term Rewriting. |
Algebraic Foundations of Systems Specification |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Donald Sannella, Andrzej Tarlecki |
Algebraic Preliminaries. |
Algebraic Foundations of Systems Specification |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Peter Padawitz |
Proof in Flat Specifications. |
Algebraic Foundations of Systems Specification |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Maura Cerioli, Till Mossakowski, Horst Reichel |
From Total Equational to Partial First-Order Logic. |
Algebraic Foundations of Systems Specification |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 29225 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|