Volume 6, Numbers 1-2, March 2010
Isabelle Perseil, Jean-Michel Bruel, Agusti Canals, Robert de Simone, Sébastien Gérard, Elie Najm: Introduction to special issue: papers from UML&FM'2009. 1-3- Volker Stolz: An integrated multi-view model evolution framework. 13-20
- Ileana Ober, Louis Féraud, Christian Percebois: Dealing with variability within a family of domain-specific languages: comparative analysis of different techniques. 21-28
- André L. N. Muniz, Aline Maria Santos Andrade, George Lima: Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems. 29-37
- Toshiyuki Miyamoto, Hiroyuki Kurahata, Taku Fujii, Ryoji Hosokawa: Synthesis of state machine diagrams from communication diagrams using Petri nets. 39-46
- Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, Bruno Tatibouët: A first attempt to combine SysML requirements diagrams and B. 47-54
- Bernardo F. B. Braga, João Paulo A. Almeida, Giancarlo Guizzardi, Alessander Botti Benevides: Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method. 55-63
- Pablo Peñil, J. Medina, Hector Posadas, Eugenio Villar: Generating heterogeneous executable specifications in SystemC from UML/MARTE models. 65-71
- Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol: Towards model checking executable UML specifications in mCRL2. 83-90
- Frédéric Mallet, Julien DeAntoni, Charles André, Robert de Simone: The clock constraint specification language for building timed causality models - Application to synchronous data flow graphs. 99-106
- Ermeson Andrade, Paulo Romero Martins Maciel, Tiago Falcão, Bruno Costa e Silva Nogueira, Carlos Araújo, Gustavo Rau de Almeida Callou: Performance and energy consumption estimation for commercial off-the-shelf component system design. 107-114
- Christiano Braga, Edward Hermann Haeusler: Lightweight analysis of access control models with description logic. 115-123
- Pierre de Saqui-Sannes, Thierry Villemur, Benjamin Fontan, Sara Mota, Mohamed Salah Bouassida, Najah Chridi, Isabelle Chrisment, Laurent Vigneron: Formal verification of secure group communication protocols modelled in UML. 125-133
- Stefan Gruner: FM+AM'09: workshop on formal methods and agile methods - Editorial preface and foreword. 135-136
- Shaoying Liu: An approach to applying SOFL for agile process and its application in developing a test support tool. 137-143
- Adrian Johnstone, Peter D. Mosses, Elizabeth Scott: An agile approach to language modelling and development. 145-153
- Ernesto Cid Brasil de Matos, Thiago C. Sousa: From formal requirements to automated web testing and prototyping. 163-169
Volume 6, Number 3, September 2010
- Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu: Preface: Special Issue on Nasa Formal Methods Symposium 2009. 171-172
- Marc Daumas, David R. Lester, Érik Martin-Dorel, Annick Truffert: Improved bound for stochastic formal correctness of numerical algorithms. 173-179
- Thomas Göthel, Sabine Glesner: An approach for machine-assisted verification of Timed CSP specifications. 181-193
- Christine Choppy, Micaela Mayero, Laure Petrucci: Coloured Petri net refinement specification and correctness proof with Coq. 195-202
- José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira: Deductive verification of cryptographic software. 203-218
- Matthew L. Bolton, Ellen J. Bass: Formally verifying human-automation interaction as part of a system model: limitations and tradeoffs. 219-231
- Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Bastos Cavalcante Prudêncio: Randomized constraint solvers: a comparative study. 243-253
Volume 6, Number 4, December 2010
- Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili: Quantifying security threats and their potential impacts: a case study. 269-281
- Huibiao Zhu, Jifeng He, Jing Li, Geguang Pu, Jonathan P. Bowen: Linking denotational semantics with operational semantics for web services. 283-298
- Raghvinder S. Sangwan, Pamela Vercellone-Smith, Colin J. Neill: Use of a multidimensional approach to study the evolution of software complexity. 299-310
- Gerard J. Holzmann: SCRUB: a tool for code reviews. 311-318
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team