Abstract is missing.
- Elements of InteractionFarhad Arbab. 1-28 [doi]
- Enterprise Architecture as LanguageGary F. Simons, Leon A. Kappelman, John A. Zachman. 29-47 [doi]
- Real-Time Animation for Formal SpecificationDominique Méry, Neeraj Kumar Singh. 49-60 [doi]
- Using Simulink Design Verifier for Proving Behavioral Properties on a Complex Safety Critical System in the Ground Transportation DomainJean-Frédéric Étienne, S. Fechter, E. Juppeaux. 61-72 [doi]
- SmART: An Application Reconfiguration FrameworkHervé Paulino, João André Martins, João Lourenço, Nuno Duro. 73-84 [doi]
- Searching the Best (Formulation, Solver, Configuration) for Structured ProblemsAntonio Frangioni, Luis Perez Sanchez. 85-98 [doi]
- Information Model for Model Driven Safety Requirements Management of Complex SystemsRomaric Guillerm, Hamid Demmou, Nabil Sadou. 99-111 [doi]
- Discrete Search in Design OptimizationMartin Fuchs, Arnold Neumaier. 113-122 [doi]
- Software Architectures for Flexible Task-Oriented Program Execution on Multicore SystemsThomas Rauber, Gudula Rünger. 123-135 [doi]
- Optimal Technological Architecture Evolutions of Information SystemsVassilis Giakoumakis, Daniel Krob, Leo Liberti, Fabio Roda. 137-148 [doi]
- Practical Solution of Periodic Filtered Approximation as a Convex Quadratic Integer ProgramFederico Bizzarri, Christoph Buchheim, Sergio Callegari, Alberto Caprara, Andrea Lodi, Riccardo Rovatti, Gianluca Setti. 149-160 [doi]
- Performance Analysis of the Matched-Pulse-Based Fault DetectionLayane Abboud, Andrea Cozza, Lionel Pichon. 161-172 [doi]
- A Natural Measure for Denoting Software System ComplexityJacques Printz. 173-195 [doi]
- Flexibility and Its Relation to Complexity and ArchitectureJoel Moses. 197-206 [doi]
- Formalization of an Integrated System/Project Design Framework: First Models and ProcessesJ. Abeille, Thierry Coudert, Élise Vareilles, Laurent Geneste, Michel Aldanondo, T. Roux. 207-217 [doi]
- System Engineering Approach Applied to Galileo SystemSteven Bouchired, Stéphanie Lizy-Destrez. 219-235 [doi]
- A Hierarchical Approach to Design a V2V Intersection Assistance SystemHycham Aboutaleb, Samuel Boutin, Bruno Monsuez. 237-247 [doi]
- Contribution to Rational Determination of Warranty Parameters for a New ProductZdenek Vintr, Michal Vintr. 249-258 [doi]
- Open Interoperable Autonomous Computer-Based Systems, Systems-of-Systems and Proof-Based System EngineeringGérard Le Lann, Paul Simon. 259-278 [doi]
- Managing the Complexity of Environmental Assessments of Complex Industrial Systems with a Lean 6 Sigma ApproachFrançois Cluzel, Bernard Yannou, Daniel Afonso, Yann Leroy, Dominique Millet, Dominique Pareau. 279-294 [doi]
- Multidisciplinary Simulation of Mechatronic Components in Severe EnvironmentsJérémy Lefèvre, Sébastien Charles, Magali Bosch-Mauchand, Benoît Eynard, Manuel Henner. 295-304 [doi]
- Involving AUTOSAR Rules for Mechatronic System DesignPascal Gouriet. 305-316 [doi]
- Enterprise Methodology: An Approach to MultisystemsDominique Vauquier. 317-328 [doi]