Abstract is missing.
- Meaningful Models - A Research Agenda on Model-Driven Engineering -Christiano Braga, Cassio Santos. 1-16 [doi]
- Deductive GeneralizationKenneth L. McMillan. 17 [doi]
- Unifying Theories of Logic and SpecificationVictor Bandur, Jim Woodcock. 18-33 [doi]
- Institution-Based Semantics for MOF and QVT-RelationsDaniel Calegari, Nora Szasz. 34-50 [doi]
- Derivation and Verification of Parallel Components for the Needs of an HPC CloudThiago Braga Marcilon, Francisco Heron de Carvalho Junior. 51-66 [doi]
- An Executable Semantics for a Multimedia Authoring LanguageJoel André Ferreira dos Santos, Christiano Braga, Débora C. Muchaluat-Saade. 67-82 [doi]
- On the Use of SPIN for Studying the Behavior of Nested Petri NetsMirtha Lina Fernández Venero, Flávio Soares Corrêa da Silva. 83-98 [doi]
- Specifying a Linked Data Structure in JML for Formal Verification and Runtime CheckingChristoph Gladisch, Shmuel S. Tyszberowicz. 99-114 [doi]
- Toward the Revision of CTL Models through Kripke Modal Transition SystemsPaulo T. Guerra, Aline Andrade, Renata Wassermann. 115-130 [doi]
- Formal Analysis of Information Flow Using Min-Entropy and Belief Min-EntropyGhassen Helali, Osman Hasan, Sofiène Tahar. 131-146 [doi]
- Theorem Proving Graph Grammars: Strategies for Discharging Proof ObligationsLuiz Carlos Lemos Junior, Simone Andre da Costa Cavalheiro, Luciana Foss. 147-162 [doi]
- A Refinement Framework for Autonomous AgentsQin Li, Graeme Smith. 163-178 [doi]
- A Formal Semantics for SysML Activity DiagramsLucas Lima, André Didier, Márcio Cornélio. 179-194 [doi]
- Formal Analysis of Memory Contention in a Multiprocessor SystemLiya Liu, Osman Hasan, Sofiène Tahar. 195-210 [doi]
- Algebraic Graph Transformations with InheritanceMichael Löwe, Harald König, Christoph Schulz, Marius Schultchen. 211-226 [doi]
- Generating Protocol Software from CPN Models Annotated with PragmaticsKent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler. 227-242 [doi]