Implementing Dynamic Aggregations of Abstract Machines in the B Method (Englisch)
- Neue Suche nach: Aguirre, Nazareno
- Neue Suche nach: Bicarregui, Juan
- Neue Suche nach: Guzmán, Lucio
- Neue Suche nach: Maibaum, Tom
- Neue Suche nach: Aguirre, Nazareno
- Neue Suche nach: Bicarregui, Juan
- Neue Suche nach: Guzmán, Lucio
- Neue Suche nach: Maibaum, Tom
In:
Formal Methods and Software Engineering
3
;
403-417
;
2004
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Implementing Dynamic Aggregations of Abstract Machines in the B Method
-
Beteiligte:Aguirre, Nazareno ( Autor:in ) / Bicarregui, Juan ( Autor:in ) / Guzmán, Lucio ( Autor:in ) / Maibaum, Tom ( Autor:in )
-
Erschienen in:Formal Methods and Software Engineering , 3 ; 403-417Lecture Notes in Computer Science ; 3308, 3 ; 403-417
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.2004
-
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
-
Model-Based Development: Combining Engineering Approaches and Formal TechniquesSchätz, Bernhard et al. | 2004
- 3
-
Tutorial on the RAISE Language, Method and ToolsGeorge, Chris et al. | 2004
- 5
-
Model-Based Testing with Spec#Jacky, Jonathan et al. | 2004
- 7
-
Formal Engineering for Industrial Software Development – An Introduction to the SOFL Specification Language and MethodLiu, Shaoying et al. | 2004
- 9
-
Tutorial: Software Model CheckingClarke, Edmund / Kroening, Daniel et al. | 2004
- 11
-
Engineering Quality SoftwareSrivastava, Amitabh et al. | 2004
- 12
-
When Can Formal Methods Make a Real Difference?Neumann, Peter G. et al. | 2004
- 13
-
On the Adoption of Formal Methods by Industry: The ACL2 ExperienceMoore, J Strother et al. | 2004
- 14
-
A CLP Approach to Modelling SystemsJaffar, Joxan et al. | 2004
- 15
-
Multi-prover Verification of C ProgramsFilliâtre, Jean-Christophe / Marché, Claude et al. | 2004
- 30
-
Memory-Model-Sensitive Data Race AnalysisYang, Yue / Gopalakrishnan, Ganesh / Lindstrom, Gary et al. | 2004
- 46
-
Formal Models for Web Navigations with Session Control and Browser CacheChen, Jessica / Zhao, Xiaoshan et al. | 2004
- 61
-
Managing Verification Activities Using SVMAldrich, Bill / Fehnker, Ansgar / Feiler, Peter H. / Han, Zhi / Krogh, Bruce H. / Lim, Eric / Sivashankar, Shiva et al. | 2004
- 76
-
A General Model for Reachability Testing of Concurrent ProgramsCarver, Richard H. / Lei, Yu et al. | 2004
- 99
-
A Knowledge Based Analysis of Cache CoherenceBaukus, Kai / Meyden, Ron et al. | 2004
- 115
-
A Propositional Logic-Based Method for Verification of Feature ModelsZhang, Wei / Zhao, Haiyan / Mei, Hong et al. | 2004
- 17
-
Deriving Probabilistic Semantics Via the ‘Weakest Completion’Jifeng, He / Morgan, Carroll / McIver, Annabelle et al. | 2004
- 146
-
CSP Representation of Game Semantics for Second-Order Idealized AlgolDimovski, Aleksandar / Lazić, Ranko et al. | 2004
- 162
-
An Equational Calculus for AlloyFrias, Marcelo F. / Pombo, Carlos G. López / Aguirre, Nazareno M. et al. | 2004
- 176
-
Guiding Spin SimulationGoga, Nicolae / Romijn, Judi et al. | 2004
- 194
-
Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov ChainsKwon, YoungMin / Agha, Gul et al. | 2004
- 209
-
Software Model Checking Using Linear ConstraintsArmando, Alessandro / Castellini, Claudio / Mantovani, Jacopo et al. | 2004
- 224
-
Counterexample Guided Abstraction Refinement Via Program ExecutionKroening, Daniel / Groce, Alex / Clarke, Edmund et al. | 2004
- 239
-
Faster Analysis of Formal SpecificationsBouquet, Fabrice / Legeard, Bruno / Utting, Mark / Vacelet, Nicolas et al. | 2004
- 259
-
Bridging Refinement of Interface Automata to Forward Simulation of I/O AutomataWen, Yanjun / Wang, Ji / Qi, Zhichang et al. | 2004
- 274
-
Learning to Verify Safety PropertiesVardhan, Abhay / Sen, Koushik / Viswanathan, Mahesh / Agha, Gul et al. | 2004
- 290
-
Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test ExecutionsXie, Tao / Notkin, David et al. | 2004
- 306
-
A Specification-Based Approach to Testing Polymorphic AttributesLiu, Ling / Miao, Huaikou et al. | 2004
- 320
-
From Circus to JCSPOliveira, Marcel / Cavalcanti, Ana et al. | 2004
- 341
-
An Approach to Preserve Protocol Consistency and Executability Across UpdatesSubramaniam, Mahadevan / Chundi, Parvathi et al. | 2004
- 357
-
A Formal Monitoring-Based Framework for Software Development and AnalysisChen, Feng / D’Amorim, Marcelo / Roşu, Grigore et al. | 2004
- 373
-
Verifying a File System ImplementationArkoudas, Konstantine / Zee, Karen / Kuncak, Viktor / Rinard, Martin et al. | 2004
- 391
-
Verifying the On-line Help System of SIEMENS Magnetic Resonance TomographsSinz, Carsten / Küchlin, Wolfgang et al. | 2004
- 403
-
Implementing Dynamic Aggregations of Abstract Machines in the B MethodAguirre, Nazareno / Bicarregui, Juan / Guzmán, Lucio / Maibaum, Tom et al. | 2004
- 418
-
Formal Proof from UML ModelsAmálio, Nuno / Stepney, Susan / Polack, Fiona et al. | 2004
- 434
-
Interactive Verification of UML State MachinesBalser, Michael / Bäumler, Simon / Knapp, Alexander / Reif, Wolfgang / Thums, Andreas et al. | 2004
- 449
-
Refinement of Actions for Real-Time Concurrent Systems with Causal AmbiguityMajster-Cederbaum, Mila / Wu, Jinzhao / Yue, Houguang / Zhan, Naijun et al. | 2004
- 464
-
From Durational Specifications to TLA Designs of Timed AutomataChen, Yifeng / Liu, Zhiming et al. | 2004
- 483
-
Timed Patterns: TCOZ to Timed AutomataDong, Jin Song / Hao, Ping / Qin, Sheng Chao / Sun, Jun / Yi, Wang et al. | 2004