Volume 4,
Number 1,
April 2008
Special Issue on selected papers from SEW-31
- Michael G. Hinchey:
Introduction to special issue: selected papers from SEW-31.
1
- Reinhold Plösch, Harald Gruber, A. Hentschel, Christian Körner, Gustav Pomberger, Stefan Schiffer, Matthias Saft, S. Storck:
The EMISQ method and its tool support-expert-based evaluation of internal software quality.
3-15
- Ana Sofia C. Marcal, Bruno Celso C. de Freitas, Felipe S. Furtado Soares, Maria Elizabeth S. Furtado, Teresa M. Maciel, Arnaldo Dias Belchior:
Blending Scrum practices and CMMI project management process areas.
17-29
- Gabriela Robiolo, Ricardo Orosco:
Employing use cases to early estimate effort with simpler metrics.
31-43
- John Carter, William B. Gardner:
Converting scenarios to CSP traces with Mise en Scene for requirements-based programming.
45-70
- Neelam Soundarajan, Jason O. Hallstrom, Guoqiang Shu, Adem Delibas:
Patterns: from system design to software testing.
71-85
- Peter T. Breuer, Simon Pickin:
Approximate verification in an open source world.
87-105
- Irfan Hamid, Bechir Zalila, Elie Najm, Jérôme Hugues:
Automatic framework generation for hard real-time applications.
107-122
Volume 4,
Number 2,
June 2008
- Antonio Cerone, Paul Curzon:
Formal methods for interactive systems.
123
- Judy Bowen, Steve Reeves:
Formal models for user interface design artefacts.
125-141
- Rimvydas Ruksenas, Paul Curzon, Ann Blandford:
Modelling and analysing cognitive causes of security breaches.
143-160
- Doron Drusinsky, James Bret Michael, Man-tak Shing:
A framework for computer-aided validation.
161-168
- Tim Menzies, Markland Benson, Ken Costello, Christina Moats, Melissa Northey, Julian Richardson:
Learning better IV&V practices.
169-183
Volume 4,
Number 3,
September 2008
Special Issue on papers from UML&FM
- Jean-Michel Bruel, Agusti Canals, Sébastien Gérard, Isabelle Perseil:
Introduction to special issue: papers from UML&FM.
185-187
- Hung Le Dang, Hubert Dubois, Sébastien Gérard:
Towards a traceability model in a MARTE-based methodology for real-time embedded systems.
189-193
- Isabelle Perseil, Laurent Pautet:
Foundations of a new software engineering method for real-time systems.
195-202
- Tian Zhang, Frédéric Jouault, Jean Bézivin, Xuandong Li:
An MDE-based method for bridging different design notations.
203-213
- Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser:
Safe design of high-performance embedded systems in an MDE framework.
215-222
- Stefan Gruner:
From use cases to test cases via meta model-based reasoning.
223-231
- Kristian Bisgaard Lassen, Simon Tjell:
Model-based requirements analysis for reactive systems with UML sequence diagrams and coloured petri nets.
233-240
- Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu:
Validation of requirement models by automatic prototyping.
241-248
- Ralf Buschermöhle, Jörg Oelerink:
Rich meta object facility formal integration platform: syntax, semantics and implementation.
249-257
- Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières:
Incremental development of UML specifications using operation refinements.
259-266
- David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge:
A formal and sound transformation from Focal to UML : an application to airport security regulations.
267-274
- Christophe Sibertin-Blanc, Nabil Hameurlain, Omar Tahir:
Ambiguity and structural properties of basic sequence diagrams.
275-284
- Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St.-Denis:
Extending statecharts with process algebra operators.
285-292
- Yann Thierry-Mieg, Lom-Messan Hillah:
UML behavioral consistency checking using instantiable Petri nets.
293-300
- Iulian Ober, Susanne Graf, Yuri Yushtein, Ileana Ober:
Timing analysis and validation with UML: the case of the embedded MARS bus manager.
301-308
- Frédéric Mallet:
Clock constraint specification language: specifying clock constraints with UML/MARTE.
309-314
Volume 4,
Number 4,
December 2008
Copyright © Fri Nov 20 22:56:29 2009
by Michael Ley (ley@uni-trier.de)
