Towards Dynamically Communicating Abstract Machines in the B Method (Englisch)
- Neue Suche nach: Aguirre, Nazareno
- Neue Suche nach: Arroyo, Marcelo
- Neue Suche nach: Bicarregui, Juan
- Neue Suche nach: Guzmán, Lucio
- Neue Suche nach: Maibaum, Tom
- Neue Suche nach: Aguirre, Nazareno
- Neue Suche nach: Arroyo, Marcelo
- Neue Suche nach: Bicarregui, Juan
- Neue Suche nach: Guzmán, Lucio
- Neue Suche nach: Maibaum, Tom
In:
Formal Methods and Software Engineering
5
;
141-155
;
2005
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Towards Dynamically Communicating Abstract Machines in the B Method
-
Beteiligte:Aguirre, Nazareno ( Autor:in ) / Arroyo, Marcelo ( Autor:in ) / Bicarregui, Juan ( Autor:in ) / Guzmán, Lucio ( Autor:in ) / Maibaum, Tom ( Autor:in )
-
Erschienen in:Formal Methods and Software Engineering , 5 ; 141-155Lecture Notes in Computer Science ; 3785, 5 ; 141-155
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.2005
-
Format / Umfang:15 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Realising the Benefits of Formal MethodsHall, Anthony et al. | 2005
- 5
-
A Compositional Framework for Service Interaction Patterns and Interaction FlowsBarros, Alistair / Börger, Egon et al. | 2005
- 36
-
An Evidential Tool BusRushby, John et al. | 2005
- 37
-
Derivation of UML Class Diagrams as Static Views of Formal B DevelopmentsIdani, Akram / Ledru, Yves / Bert, Didier et al. | 2005
- 52
-
29 New Unclarities in the Semantics of UML 2.0 State MachinesFecher, Harald / Schönborn, Jens / Kyas, Marcel / Roever, Willem-Paul et al. | 2005
- 66
-
The Semantics and Tool Support of OZTADong, Jin Song / Hao, Ping / Qin, Shengchao / Zhang, Xian et al. | 2005
- 81
-
An Abstract Model for Process MediationAltenhofen, Michael / Börger, Egon / Lemcke, Jens et al. | 2005
- 96
-
How Symbolic Animation Can Help Designing an Efficient Formal ModelBouquet, Fabrice / Dadeau, Frédéric / Legeard, Bruno et al. | 2005
- 111
-
A Theory of Secure Control FlowAbadi, Martín / Budiu, Mihai / Erlingsson, Úlfar / Ligatti, Jay et al. | 2005
- 125
-
Game Semantics Model for Security ProtocolsDebbabi, Mourad / Saleh, Mohamed et al. | 2005
- 141
-
Towards Dynamically Communicating Abstract Machines in the B MethodAguirre, Nazareno / Arroyo, Marcelo / Bicarregui, Juan / Guzmán, Lucio / Maibaum, Tom et al. | 2005
- 156
-
Sweep-Line Analysis of TCP Connection ManagementGallasch, Guy Edward / Han, Bing / Billington, Jonathan et al. | 2005
- 173
-
2/3 Alternating Simulation Between Interface AutomataWen, Yanjun / Wang, Ji / Qi, Zhichang et al. | 2005
- 188
-
Formal Model-Driven Development of Communicating SystemsLaibinis, Linas / Troubitsyna, Elena / Leppänen, Sari / Lilius, Johan / Malik, Qaisar et al. | 2005
- 204
-
Jahuel: A Formal Framework for Software SynthesisAssayad, I. / Bertin, V. / Defaut, F. -X. / Gerner, Ph. / Quévreux, O. / Yovine, S. et al. | 2005
- 219
-
Modelling and Refinement of an On-Chip Communication ArchitecturePlosila, Juha / Liljeberg, Pasi / Isoaho, Jouni et al. | 2005
- 235
-
Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific HeuristicsSobeih, Ahmed / Viswanathan, Mahesh / Marinov, Darko / Hou, Jennifer C. et al. | 2005
- 251
-
Adaptive Random Testing by Bisection with RestrictionMayer, Johannes et al. | 2005
- 264
-
Testing Real-Time Multi Input-Output SystemsBriones, Laura Brandán / Brinksma, Ed et al. | 2005
- 280
-
Formal Verification of a Memory Model for C-Like Imperative LanguagesBlazy, Sandrine / Leroy, Xavier et al. | 2005
- 300
-
Symbolic Verification of Distributed Real-Time Systems with Complex SynchronizationsWang, Farn et al. | 2005
- 315
-
An Improved Rule for While Loops in Deductive Program VerificationBeckert, Bernhard / Schlager, Steffen / Schmitt, Peter H. et al. | 2005
- 330
-
Using Stålmarck’s Algorithm to Prove InequalitiesCook, Byron / Gonthier, Georges et al. | 2005
- 345
-
Automatic Refinement Checking for BLeuschel, Michael / Butler, Michael et al. | 2005
- 360
-
Slicing an Integrated Formal Method for VerificationBrückner, Ingo / Wehrheim, Heike et al. | 2005
- 375
-
A Static Communication Elimination Algorithm for Distributed System VerificationBabot, Francesc / Bertran, Miquel / Climent, August et al. | 2005
- 390
-
Incremental Verification of Owicki/Gries Proof Outlines Using PVSMooij, Arjan J. / Wesselink, Wieger et al. | 2005
- 405
-
Using Three-Valued Logic to Specify and Verify Algorithms of Computational GeometryBrandt, Jens / Schneider, Klaus et al. | 2005
- 421
-
An Automated Approach to Specification-Based Program InspectionLiu, Shaoying / Nagoya, Fumiko / Chen, Yuting / Goya, Masashi / McDermid, John A. et al. | 2005
- 435
-
Visualizing and Simulating Semantic Web Services OntologiesSun, Jun / Li, Yuan Fang / Wang, Hai / Sun, Jing et al. | 2005
- 450
-
A Model-to-Implementation Mapping Tool for Automated Model-Based GUI TestingPaiva, Ana C. R. / Faria, João C. P. / Tillmann, Nikolai / Vidal, Raul A. M. et al. | 2005
- 465
-
ClawZ: Cost-Effective Formal Verification for Control SystemsAdams, M. M. / Clayton, P. B. et al. | 2005
- 480
-
SVG Web Environment for Z Specification LanguageSun, Jing / Wang, Hai / Athauda, Sasanka / Sheik, Tazkiya et al. | 2005