Abstract is missing.
- Integration of Security Guidelines and Assessments into Outsourced Software DevelopmentYauheni Veryha. 1-6
- On Facilitating the Reuse of C++ Graph LibrariesJean-Pierre Corriveau, Bo Tian, Vojislav D. Radonjic. 7-12
- Incorporating Graph Neurons (GNs) to the Trusted Transient Simple Network (TTSN) Security Control System ArchitectureBenny B. Nasution, Asad I. Khan, Elizabeth A. Kendall. 13-19
- An Architecture-based Software Reliability Model with Finite Number of FaultsHiroyuki Okamura, Kei Tsuruta, Tadashi Dohi. 20-25
- A Case Study Evaluation of 11 Hypothetical Software System Evolution LawsGöran Calås, Stefan Mankefors-Christiernin, Andreas Boklund. 26-31
- Aspect-oriented Dependency Injective Service Gateway for Web Services AggregationChanwit Kaewkasi, Pitchaya Kaewkasi. 32-36
- Measuring Ripple Effect for the Object Oriented ParadigmPeter Rosner, Sue Black. 37-42
- The Acceptance of Object-oriented Software Engineering Methods and of the UML in German Enterprises - An Empirical StudyDirk Frosch-Wilke, Markus Baumann. 43-47
- Compiling and Validating OCL Constraints in Metamodeling Environments and Visual Model CompilersLászló Lengyel, Tihamer Levendovszky, P. Kozma, Hassan Charaf. 48-49
- Supporting the Comprehension of Object-oriented Software Systems by Extended M-M GraphMario Luca Bernardi, Giuseppe A. Di Lucca. 55-60
- Assessing Object-oriented Software Changeability with Design MetricsHind Kabaili, Rudolf K. Keller, François Lustman. 61-66
- A Method for Building Domain Requirement ModelsZhiyi Ma, Hongjie Chen. 67-72
- Developing Usable GUI Applications with Early Usability EvaluationYonglei Tao. 73-76
- You Can t Keep a Cake and Eat It! Dichotomies in Systems EngineeringGerhard Chroust. 77-82
- Benefits of Multi-Layer Design in Software with Multi-User Interfaces - A Three Step Case StudyLinn Gustavsson Christiernin, Olof Torgersson. 83-88
- A Case Study on Structural Characteristics of Object-oriented Design and Its StabilityMahmoud O. Elish. 89-93
- A Graduate s Role in Technology Transfer: From Requirements to Design with UMLStephen Hallinan, J. Paul Gibson. 94-99
- Using Abstract State Machines to Support UML Model Instantiation CheckingWuwei Shen, Weng Liong Low. 100-105
- A Causality-based Semantics for UML Sequence DiagramsOmar Tahir, Christophe Sibertin-Blanc, Janette Cardoso. 106-111
- Porthole: A Spatial Interface to Provide Scrolling, Zooming-In, and Zooming-OutMakio Ishihara, Yukio Ishihara. 112-117
- Measuring Software Processes Performance based on the Fuzzy Multi Agent MeasurementsMir Ali Seyyedi, Mohammad Teshnehlab, Fereidoon Shams. 118-123
- Implementing a Document-based Requirements Traceability: A Case StudySuhaimi Ibrahim, Norbik Bashah Idris, Malcolm Munro, Aziz Deraman. 124-131
- Using Distance Measurement for Software Functional CohesionJehad Al-Dallal. 132-137
- A Dynamic Approach for the Identification of Object-oriented Design PatternsDoaa M. Shawky, Salwa K. Abd-El-Hafiz, Abdel-Latif El-Sedeek. 138-143
- A Coverage Analysis of Java Benchmark SuitesStephen Brown, Áine Mitchell, James F. Power. 144-149
- Random Testing Automatization - Efficiency Optimization using the Integral FormulationStefan Mankefors-Christiernin, Andreas Boklund. 150-155
- Increasing Class-Component TestabilitySupaporn Kansomkeat, Jeff Offutt, Wanchai Rivepiboon. 156-161
- Effectiveness of Genetic Algorithms for Potential Error Detection in Software using Random Error SeedingJames R. Birt, Renate Sitte. 162-167
- Efficiency Increase in Random Testing using MPI-based ParallelizationStefan Mankefors-Christiernin, Andreas Boklund. 168-173
- Design Pattern Detection from Java SoftwareTie Feng, Wenjin Li, Jiachen Zhang, Ming Xu. 174-180
- Testing the CARE Properties of Multimodal Applications by Means of a Synchronous ApproachLaya Madani, Laurence Nigay, Ioannis Parissis. 181-186
- Supporting Impact Analysis in HyperSoft and Other Maintenance ToolsJussi Koskinen, Airi Salminen. 187-192
- Behavior Assembly and Composition of Use Cases - UML 2.0 PerspectiveVladimir Mencl, Frantisek Plasil, Jirí Adámek. 193-201
- Framework-based IT Service EngineeringThomas Specht, Dieter Spath, Anette Weisbecker. 202-207
- Software Engineering Ontologies and Their ImplementationPornpit Wongthongtham, Elizabeth Chang, Tharam S. Dillon, Ian Sommerville. 208-213
- Towards Automatic Generation of Q AdaptorsMikhail V. Naganov. 214-219
- Gap Analyses between Certified SME s Process and an Agile ApproachPenko Ivanov, Sylvia Ilieva. 220-225
- Communication Protocol Decomposition and Component-based Protocol SubmoduleTianzhou Chen, Quan Gan, Wei Hu, Jiangwei Huang. 226-230
- Eclectic Software Development Methodology and Successful Software DevelopmentM.-G. Lee, P. Yu, T. L. Jefferson. 231-236
- Three Methods Showing the Similarity between ISO 9001 and CMMIYu-Ling Won, Hai-An Ku, Dwen-Ren Tsai, Pi-Ju Tsai. 237-242
- Model-Driven Development Approach to Web ApplicationsTakahide Matsutsuka. 243-248
- eFox - Filesharing with Web ServicesJens Bruhn, Stefan Luckner, Markus Müller, D. Räder, Christof Squarr, Marc Wewers, Guido Wirtz. 249-254
- Synthesis System for Multiple Languages Web Site by XMLMasahiro Yamamoto. 255-260
- Modeling Collaboration ProcessesGiorgio Bruno. 261-266
- Definition and Detection of Semantic Warnings for VoiceXMLPattara Leelaprute, Tohru Kikuno, Masahide Nakamura, Ken-ichi Matsumoto. 267-275
- A Composite Design Pattern for Stubless Web Service InvocationPaul A. Buhler, Christopher W. Starr, Georg Weichhart. 276-281
- Building a Multi-level Database for Efficient Information Retrieval: A Framework DefinitionSpiridon C. Denaxas, Christos Tjortjis. 282-286
- From Specifications to Code Compliance CheckersY. Prasanth, Sanjeev K. Aggarwal. 287-292
- Compile-Time Energy Reduction Techniques based on Voltage Scaling CharacteristicTing Lei, Xi Li, Xiao Hu, Xuehai Zhou. 293-298
- Fusing Folds and Data Structures into Zoetic DataPaul A. Bailes, Colin J. M. Kemp. 299-306
- Prototype of an Automatic Visualization Tool for Java to Educate Novice ProgrammersYoshihiro Kita, Takanori Kawasoe, Tetsuro Katayama. 307-312
- FACT: A Tool for Code Generation from Communicating AutomataCinzia Bernardeschi, Gianluca Dini, Andrea Domenici. 313-318
- Mobile Agent System Specification using the Temporal Logic of ActionsTatjana Kapus. 319-324
- Constraints in C# using the OCL 2.0Dave Arnold, Toby McClean, Jean-Pierre Corriveau, Vojislav D. Radonjic. 325-330
- fiParse - A Generic Parser for FIPA-Compliant Agent CommunicationMarkus B. Söllner, Sven Kaffille, Guido Wirtz. 331-336
- Design and Implementation of a Performance Plug-In for the ArgoUML ToolSalvatore Distefano, Daniele Paci, Antonio Puliafito, Marco Scarpa. 337-342
- Measuring Cohesion in Aspect-oriented SystemsJean-François Gélinas, Linda Badri, Mourad Badri. 343-348
- Making Patterns Better Design Tools: Requirements Analysis for a Family of Navigators for Design Pattern CatalogsVojislav D. Radonjic, Jean-Pierre Corriveau. 349-354
- A Flexible Attribute Instantiation Technique for Visual LanguagesGergely Mezei, Tihamer Levendovszky, László Lengyel, Hassan Charaf. 355-359
- An Aspect-oriented Approach to Modular Behavioral Specification of Java ComponentsKiyoshi Yamada, Takuo Watanabe. 360-365
- Design of XMI-based Tools for Building EQN Models of Software SystemsAndrea D Ambrogio, Giuseppe Iazeolla. 366-371
- ICMM - Inspection Capability Maturity ModelSami Kollanus. 372-377
- Checking for Consistency between Different UML ModelsPeter Green, Kinika Tasie-Amadi. 378-383
- Graph Theoretic Model for Concurrent ObjectsSudharsan R. Iyengar. 384-387
- Model Checking Time Petri Nets: A Translation Approach based on UPPAAL and a Case StudyAngelo Furfaro, Libero Nigro. 388-393
- The Quality Matrix: A Management Tool for Software Quality EvaluationPaolo Salvaneschi. 394-399
- Staffing for Software Inspections - An Empirical StudyYuhang Wang, Günther Ruhe. 400-407
- A Logical Approach for Testing RequirementsKedian Mu, Zhi Jin, Ruqian Lu. 408-413
- Deployment of Component-based Applications on Top of a Context-aware MiddlewareDhouha Ayed, Nabiha Belhanafi, Chantal Taconet, Guy Bernard. 414-419
- Ampros Scenario: Crisis Management in Mobile EnvironmentsS. Ben Atallah, G. Bernard. 420-425
- Advanced Mobile Streaming: Multimedia Streaming of Interactive Content Across Mobile NetworksCh. Desiniotis, K. Lambropoulou, I. Talvitie, C. Vassiliou, Pavlos Vlachos, Adam P. Vrechopoulos. 426-431
- A Generic Reconciliation Service for Divergence Management in Mobile EnvironmentsLydialle Chateigner, Sophie Chabridon, Guy Bernard. 432-437
- AMPROS: Distributed Reconfiguration AlgorithmEugene M. Burmakin, Boris A. Krassi, Juha O. Tuominen. 438-441
- Fault Tolerance in Adaptive Middleware Platform for Proactive Reconfigurable SystemsHenry L. E. Pohan, Boris A. Krassi, Eugene M. Burmakin, Juha O. Tuominen. 442-447
- A Framework for Context Reasoning SystemsMichael Przybilski, Petteri Nurmi, Patrik Floréen. 448-452
- Technical Challenges in Mobile Real-Time 3D City Maps with Dynamic ContentAntti Nurminen, Ville Helin. 453-458
- Context in the Dynamic Reconfigurable SystemsEugene M. Burmakin, Boris A. Krassi, Juha O. Tuominen. 459-461
- A Knowledge-based Framework for Software Development Outsourcing DecisionMinghui Wu, Hareton Leung. 462-467
- Using Use Case Models to Generate Object PointsAyman Issa, Mohammed Odeh, P. David Coward. 468-473
- A Learning Model for Software Development ProcessesGhaffari Abu, João W. Cangussu. 474-479
- Systems Failures - Analysing Stakeholder Influence through Case HistoriesJohn Donaldson. 480-485
- Separation of Concerns in Mission Critical Software Systems - An Industrial Applicable ApproachSøren Top, Bo Nørregaard Jørgensen, Hans Jørgen Nørgaard. 486-493
- SOAP Communication with Tiny Sensors and ControllersJan Janecek. 494-499
- A Declarative Framework to Create Differentiated Service Levels for Component based MiddlewareUmesh Bellur, Prashant Rajoria, Rohit Baswan. 500-505