


default search action
Innovations in Systems and Software Engineering, Volume 6
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 - Isabelle Perseil, Laurent Pautet:
Formal methods integration in software engineering. 5-11 - 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
, Julio L. Medina, Hector Posadas, Eugenio Villar:
Generating heterogeneous executable specifications in SystemC from UML/MARTE models. 65-71 - Marina Egea, Vlad Rusu:
Formal executable semantics for conformance in the MDE framework. 73-81 - Helle Hvid Hansen
, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi
, Jaco van de Pol:
Towards model checking executable UML specifications in mCRL2. 83-90 - Luís Soares Barbosa
, Sun Meng:
Bringing class diagrams to life. 91-98 - 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 C. 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 - Fritz Solms, Dawid Loubser:
URDAD as a semi-formal approach to analysis and design. 155-162 - 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 - Sagar Chaki, James Ivers:
Software model checking without source code. 233-242 - 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
- Peter T. Breuer
, Simon Pickin
:
A formal nethod (a networked formal method). 255-268 - 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 - Oussama El-Rawas, Tim Menzies
:
A second look at Faster, Better, Cheaper. 319-335

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.