|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 132 occurrences of 116 keywords
|
|
|
|
|
Results
Found 724 publication records. Showing 724 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch |
Observational Proofs with Critical Contexts.  |
FASE  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders Sandholm 0001, Michael I. Schwartzbach |
Distributed Safety Controllers for Web Services. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Große-Rhode |
Algebra Transformation Systems and their Composition. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Egidio Astesiano (eds.) |
Fundamental Approaches to Software Engineering, 1st Internationsl Conference, FASE'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kahrs, Donald Sannella |
Reflections on the Design of a Specification language. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Büssow, Robert Geisler, Marcus Klar |
Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrike Lechner |
Constructs, Concepts and Criteria for Reuse in Concurrent Object-Oriented languages. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
Concurrency, Object orientation, Reuse, Interpretation, Rewriting, ?-calculus, Maude, Inheritance Anomaly |
| 1 | Reiko Heckel |
Compositional Verification of Reactive Systems Specified by Graph Transformation. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Joy N. Reed, D. M. Jackson, Borislav Deianov, George M. Reed |
Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Mota 0001, Augusto Sampaio |
Model-Checking CSP-Z. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Bettina Sucrow |
Refining Formal Specifications of Human Computer Interaction by Graph Rewrite Rules. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Scholz |
A Refinement Calculus for Statecharts. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Bradley, William Henderson, David Kendall, Adrian Robson |
Integrating AORTA with Model-Based Data Specification Languages. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr |
Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Hamie, John Howse, Stuart Kent 0001 |
Navigation Expresion in Object-Oriented Modelling. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Tapken |
MOBY/PLC - A Design Tool for Hierarchical Real-Time Automata. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia Padberg, Magdalena Gajewsky, Claudia Ermel |
Rule-Based Refinement of High-Level Nets Preserving Safety Properties. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Cliff B. Jones |
Some Mistakes I Have and What I Have Learned from Them. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria, Bernhard Steffen |
Backtracking-Free Design Planning by Automatic Synthesis in METAFrame. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Kent L. Beck |
Extreme Programming: A Humanistic Discipline of Software Development. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Dubois 0001 |
ALBERT: A Formal Language and Its Supporting Tools for Requirements Engineering. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Behnke 0003, Rudolf Berghammer, Erich Meyer, Peter Schneider |
RELVIEW - A System for Calculating With Relations and Relational Programming. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanne Riis Nielson, Torben Amtoft, Flemming Nielson |
Behaviour Analysis and Safety Conditions: A Case Study in CML. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
formal program development, Embedded systems, program analysis |
| 1 | Robert Allen, Rémi Douence, David Garlan |
Specifying and Analyzing Dynamic Software Architectures. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #701 - #724 of 724 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license