Abstract is missing.
- Architecture Driven Modeling in Software DevelopmentManfred Broy. 3-12 [doi]
- Major Threat: From Formal Methods without Tools to Tools without Formal MethodsBernhard Steffen. 15 [doi]
- Modeling Complex Systems by Separating Application and Security ConcernsHassan Gomaa, Michael Eonsuk Shin. 19-28 [doi]
- Dealing with Complex Networks of Process Interactions: A Security MeasurePanayiotis Periorellis, Olusola C. Idowu, Steven J. Lynden, Malcolm P. Young, Péter András. 29-36 [doi]
- TTET: Event-Triggered Channels on a Time-Triggered BaseVilgot Claesson, Neeraj Suri. 39-46 [doi]
- Enterprise Information Systems Configuration: Emphasizing the Symbiotic Relationship between Applications and the Underlying NetworkMara Nikolaidou, Dimosthenis Anagnostopoulos. 47-56 [doi]
- Integrated Fault Diagnostics on the GridXiaoxu Ren, Max Ong, Geoffrey Allan, Visakan Kadirkamanathan, Haydn A. Thompson, Peter J. Fleming. 59-65 [doi]
- Robust On-Line Approximation Control of Uncertain Nonlinear Systems Subject to ConstraintsMarios M. Polycarpou, Jay Farrell, Manu Sharma. 66-74 [doi]
- Formal Test-Case Generation for UML StatechartsStefania Gnesi, Diego Latella, Mieke Massink. 75-84 [doi]
- Requirements Validation by Lifting Retrenchments in BMichael Poppleton, Richard Banach. 87-96 [doi]
- Relating pi-calculus to Object-ZKenji Taguchi, Jin Song Dong, Gabriel Ciobanu. 97-106 [doi]
- A Conceptual Framework for State-Based and Event-Based Formal Behavioural Specification LanguagesTommaso Bolognesi. 107-116 [doi]
- Towards a Tool for Derivation of Implementation ConstraintsP. Mattias Weckstén, Jonas Vasell, Magnus Jonsson. 119-127 [doi]
- Supporting Rigorous Evolution of UML ModelsSheena R. Judson, Robert B. France, Doris L. Carver. 128-137 [doi]
- Independence Transformations and Tools for ComponentsDenise M. Woit, M. Fan. 138-146 [doi]
- Using Contexts to Manage System ComplexityPaul Robertson, Robert Laddaga. 149-158 [doi]
- Visualising Object-Oriented Source Code Complexity Using XMLR. M. Marks, F. George Wilkie. 161-170 [doi]
- Domain Visualization for Dealing with Complex Information Systems Paolo Donzelli, Paolo Bresciani. 171-180 [doi]
- A Web-Based Infrastructure for the Management of Semantic Meta-DataVieri Del Bianco, Gianluca Ripa, Emma Tracanella, Luigi Lavazza. 181-190 [doi]
- A CORBA-Based Multi-Agent System Integration FrameworkTao Cheng, Zailin Guan, Liming Liu, Bo Wu, Shuzi Yang. 191-198 [doi]
- Muse over University Organisational Ecology in Action and Service-Oriented ArchitecturesSita Ramakrishnan, Ashley Cambrell. 199-206 [doi]
- Design of a Microprocessor-Based Control System of a Compression Molding ProcessGeorge K. Adam. 207-212 [doi]
- Monitoring and Optimizing Industrial Production ProcessesL. Braccesi, Massimo Monsignori, Paolo Nesi. 213-222 [doi]
- System for the Production Control and Automatic Packaging of Plastic Air Sleeve GuidesFrancisco J. Barrientos García, Isaac García Incertis, Félix Miguel Trespaderne, Eusebio de la Fuente López, José Ramón Perán González. 223-227 [doi]
- Verification of NASA Emergent SystemsChristopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey. 231-238 [doi]
- Software Information Leaks: A Complexity PerspectiveBoby George, Shawn A. Bohner, Rubén Prieto-Díaz. 239-248 [doi]
- An Investigation of the Approach to Specification-Based Program Review through Case StudiesFumiko Nagoya, Shaoying Liu, Yuting Chen. 249-258 [doi]