Table of Contents

• Polyview architecture using J2EE patterns, XML and remote presentation layerAmlan Sahoo. 1-5
• A coordination architecture for time-dependent componentsMichael N. Barth, Alexander Knapp. 6-11
• Language-based model for requirements engineeringGermán Urrego-Giraldo. 12-17
• Using application domain ontology to construct an initial system modelLeonid Kof. 18-23
• Analysis of initial use case descriptionsPadmanabhan Krishnan. 24-29
• Evaluating the requirements engineering process using major concernsLi Jiang, Armin Eberlein, Behrouz Homayoun Far. 30-35
• A conceptual model for requirements engineering and management for change-intensive softwareJewgenij Botaschanjan, Andreas Fleischmann, Markus Pister. 36-41
• Service specification with MSCs and rolesIngolf H. Krüger. 42-47
• Improving the IEEE std 1471-2000 for communication among stakeholders and early design decisionsLuis F. Fernández-Martínez, Cuauhtémoc Lemus Olalde, Miguel A. Serrano. 48-53
• Towards an automated evaluation process for software architecturesRabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, T. John Brown. 54-58
• A case study of performance analysis for real-time systemsJosé L. Arciniegas, Rodrigo Cerón, José L. Ruiz, Víctor Martínez, Juan C. Dueñas. 59-64
• Software architecture assessment using quality function deploymentWalter P. Bond, Turky N. Al-Otaiby, Mohsen N. AlSharif. 65-70
• A software architecture to support interoperability in multiple database systemsRadmila Juric, Jasna Kuljis, Ray J. Paul. 71-77
• Architecture of a novel DRM systemJian Zhang, Ling Shao, Dong Xie. 78-83
• An object-oriented system to enhance fundamental problem-solving skills of learnersA. Jordaan, D. B. Jordaan. 84-89
• Concurrent object oriented approach in morm simulationAdel Besrour, David Hurzeler, Didier Buchs. 90-94
• A proposal for collaborative virtual environments architecture using internet patternsBianchi Serique Meiguins, Luiz Affonso Guedes, Marcos Venícios Araújo, Marcelo de Brito Garcia, Rosevaldo Dias de Souza Jr.. 95-100
• Providing multidimensional decomposition in object-oriented analysis and designConstantinos Constantinides, Therapon Skotiniotis. 101-110
• Mapping UML statecharts to java codeIftikhar Azim Niaz, Jiro Tanaka. 111-116
• A pattern system for XML application developmentKouji Yamamoto, Tadahiro Uehara, Akihiko Matsuo, Kyoko Ohashi, Junji Inomata, Tomotaka Matsuda, Rieko Yamamoto. 117-122
• A framework for transforming artifacts from data flow diagrams to UMLThu Nga Tran, Khaled M. Khan, Yi-Chen Lan. 123-128
• Hierarchical information visualization using enccon modelQuang Vinh Nguyen, Mao Lin Huang. 129-135
• Visual analysis for a sense-and-respond enterpriseShubir Kapoor, Donna L. Gresh, Josef Schiefer, Pawan Chowdhary, Steve Buckley. 136-141
• Using aspect-oriented technology in the design of advanced diagnostic systemsFaisal Akkawi, K. Akkawi, Atef Bader, D. Fletcher, D. Duncavage. 142-147
• Integration of heterogeneous distributed components using workflow informationMasataka Naguray, Yosuke Hibiy, Shingo Takada, Norihisa Doi. 148-153
• Engineering streaming applications with the corba component model streaming extensionFrank Stoinski. 154-159
• Flexible incremental development by integrating specification and codePatrick Schmid, Christine Hofmeister. 160-165
• Description of an empirical experiment to measure effects of pair work on the design phaseHiyam Al-Kilidar, D. Ross Jeffery, Aybüke Aurum. 166-171
• A novel component model for the synchronous dataflow paradigmWalter Maydl. 172-177
• Supporting round-trip engineering in modeling environments with the application of meta-modeling techniquesLászló Lengyel, Tihamer Levendovszky, Hassan Charaf. 178-182
• Towards a model-based and incremental development process for service-based systemsMartin Deubler, Johannes Grünbauer, Chris Salzmann. 183-188
• Evaluating the productivity in software development for telecommunication applicationsPiotr Tomaszewski, Lars Lundberg. 189-195
• The sandwich code file structure: An architectural support for software engineering in simulation based development of embedded control applicationsSøren Top, Hans Jørgen Nørgaard, Brian Krogsgaard, Bo Nørregaard Jørgensen. 196-201
• A software development process supporting non-functional propertiesSimone Röttger, Steffen Zschaler. 202-205
• Verification method for the FBD-style design specification using SDT and SMVMyung Jun Song, Seo Ryong Koo, Poong-Hyun Seong. 206-211
• Model checking-aided design of secure distributed systemsMario Verdicchio, Pierluigi San Pietro. 212-217
• An Experience of continuous development - formulating requirements concurrently with system implementationKarl R. P. H. Leung. 218-223
• Conflict checking of separation of duty constraints in RBAC - implementation experiencesMark Strembeck. 224-229
• The use of semi-formal methods for detecting requirements interactionsMohamed Shehata, Armin Eberlein, Abraham O. Fapojuwo. 230-235
• A data validation method in requirement specification of software applicationApirada Thadadech, Pattarasinee Bhattarakosol, Fergus O Brien. 236-241
• A jigsaw model of XPAnne Fuller. 242-246
• A knowledge-based explicit and implicit input-output model for analysis of the software developers performance in the software review processYuk Kuen Wong. 247-256
• A Java API for Experimental analysis of algorithmsAdam Duffy, Tom Dowling. 257-262
• EM algorithms for logistic software reliability modelsHiroyuki Okamura, Tadashi Dohi, Shunji Osaki. 263-268
• The software supermarket: A catalyst for componentbased software developmentRichard A. Pyne, Ezra Kaahwa Mugisa. 269-274
• Reusable software architecture for an accounting information systemErrol Hugh Dennis, Ezra Kaahwa Mugisa. 275-280
• Delegation of signing and decryption rights using pki proxy memoVenus L. S. Cheung, Lucas Chi Kwong Hui, Siu-Ming Yiu, K. P. Chow, Kevin K. H. Pun, Wai Wan Tsang, H. W. Chan, C. F. Chong. 281-285
• A model for delegation of accountabilityRichard W. C. Lui, Lucas Chi Kwong Hui. 286-291
• The optimum time to perform software rejuvenation for survivabilityKhin Mi Mi Aung. 292-296
• Trust formalization - from taxonomy to modeling and simulation frameworkDenis Trcek. 297-302
• A use-case driven approach to component mining for legacy modernizationHyeon Soo Kim, Chul Hong Kim. 303-308
• Assessment of software maintenance capability: A model and its architectureAlain April, Alain Abran, Reiner R. Dumke. 309-314
• A tool for regression testingBugi Wibowo, A. S. M. Sajeev. 315-320
• Experience of communications software evolution and performance improvement with patternsChung-Horng Lung, Qiang Zhao, Hui Xu, Heine Mar, Prem Kanagaratnam. 321-326
• Influence of structural complexity on fault persistenceMaurizio Pighin, Anna Marzona. 327-332
• Feature driven maintenance of product line architecturesIlka Philippow, Ilian Pashov. 333-338
• Automatic control flow based generation of stubs for structural testingKarim-Cyril Griche, Ioannis Parissis. 339-344
• A deterministic density algorithm for pairwise interaction coverageCharles J. Colbourn, Myra B. Cohen, Renée Turban. 345-352
• Composite mutant: An innovative approach to mutation testingW. Worawatpibul, A. Surarerks. 353-358
• Simulating testing environments with configuration optionsAleks Aris. 359-364
• A symbolic Java virtual machine for test case generationRoger A. Müller, Christoph Lembeck, Herbert Kuchen. 365-371
• A CMMI-based self evaluation of capability maturity level for software organizationsChien-Ming Chen, Dwen-Ren Tsai, Pi-Ju Tsai. 372-377
• Formal fault tree construction and system safety analysisJianwen Xiang, Kokichi Futatsugi, Yanxiang He. 378-384
• Types of quality of service contracts for component-based systemsSteffen Zschaler, Simone Röttger. 385-388
• Critical barriers for software process improvement implementation: An empirical studyMahmood Niazi, David Wilson, Didar Zowghi. 389-395
• Multiply-deployed residual testing at the object levelLeila Naslavsky, Marcio S. Dias, Debra J. Richardson. 396-401
• Regression testing via model checkingLihua Xu, Marcio S. Dias, Debra J. Richardson. 402-407
• Does active guidance improve software inspections? A preliminary empirical studyChristian Denger, Marcus Ciolkowski, Filippo Lanubile. 408-413
• Generating reusable cluster-based test cases for framework applications: Is it worth it?Jehad Al-Dallal, Paul G. Sorenson. 414-421
• An empirical investigation of the important relationship between software review meetings process and outcomesYuk Kuen Wong, David Wilson. 422-427
• Toward programming paradigms for agent oriented software engineeringSalaheddin J. Juneidi. 428-432
• Survey and evaluation of agent oriented software engineeringSalaheddin J. Juneidi, George A. Vouros. 433-440
• A framework for design and implementation of control softwareJorge Estrela da Silva. 441-446
• A feasibility proof of semi-automated software integrationMikhail Kazakov. 447-452
• Consistent object-based software construction for embedded applicationsCornelia Heinisch, Joachim Goll. 453-461
• A method for guiding software evolutionMaritta Heisel, Carsten von Schwichow. 462-468
• A methodological approach to improve the software acquisition process in automotive industryFabrizio Fabbrini, Mario Fusani, Giuseppe Lami, Edoardo Sivera. 469-473
• A replication empirical study of training, experience and software review performanceYuk Kuen Wong. 474-480
• Sociologically-based process modifications to affect project successDenise M. Woit, K. J. Bell. 481-485
• The challenges of automated methods for integrating systemsDon Libes, David Flater, Evan K. Wallace, Michelle Potts Steves, Allison Barnard Feeney, Edward Barkmeyer. 486-492
• Using narratives to analyse systems failuresJohn Donaldson. 493-498
• Process model for efficient implementations of graphical specifications in the field of embedded real-time softwareMartin Orehek, Philipp Harms. 499-504
• Model driven architecture as a facilitator for automatic code generationNeil C. Audsley, Steven Crook-Dawkins. 505-510
• A comparison between the java and c++ implementation of RMPPWouter Hendrickx, Gunther Stuer, Jan Broeckhove, Tom Dhaene, David Dewolfs. 511-514
• Tips for estimating software size with FPA methodAles Zivkovic, Marjan Hericko. 515-519
• E-learning infrastructure for software engineering education: Steps in ontology modeling for SWEBOKCornelius Wille, Reiner R. Dumke, Alain Abran, Jean-Marc Desharnais. 520-525
• Identifying reusable components in web applicationsGiuseppe A. Di Lucca, Anna Rita Fasolino, Porfirio Tramontana, Ugo de Carlini. 526-531
• A model for developing web-based distributed and parallel genetic algorithmsMaolin Tang. 532-537
• Applying anote to modeling multi agent systems a case study in e-businessKelly C. C. Silva, Ricardo Choren, Carlos José Pereira de Lucena. 538-543
• Visual interface for adaptation of data sources to semantic webOlena Kaykova, Oleksiy Khriyenko, Mikko Kovalainen, Andriy Zharko. 544-547
• Support for interoperability of RPC-based web services - a case study -Jens Bruhn, Guido Wirtz. 548-553
• Software engineering for small software businesses - a model for enquiry -Alan C. Jeffery, Volker H. Schroeter. 554-564
• Utilizing mixer for content management in a network of embedded systemsSuru Dissanaike, Pierre Wijkman, Mitra Wijkman. 565-568
• Design and evaluation of birthmarks for detecting theft of java programsHaruaki Tamada, Masahide Nakamura, Akito Monden. 569-574
• Tool support for a risk management process - an empirical study on effectiveness and efficiencyStefan Biffl, Matthias Heindl, Martin Auer, Michael Halling. 575-580
• Consistency checking between use case scenarios and UML sequence diagramsKamila Bartsch, Mike Robey, Jim Ivins, Chiou Peng Lam. 581-589
• Software composition with a multipurpose modeling and model transformation frameworkTihamer Levendovszky, László Lengyel, Hassan Charaf. 590-594
• Building flexible, distributed collaboration tools using type-based publish/subscribe-the distributed knight caseKlaus Marius Hansen, Christian Heide Damm. 595-600
• Tool support for usage-based readingThomas Thelin, Per Andersson, Jeremy Harrell. 601-606
• An integrated environment of S/W specification and V&V for safety-critical systemsSeo Ryong Koo, Poong-Hyun Seong, Junbeom Yoo, Sung Deok Cha, Cheong Youn, Hyun-chul Han. 607-612
• Enhancing Java with support for simultaneous independent extensibility of collaborating objectsBo Nørregaard Jørgensen. 613-619
• A visual software development environment based on graph grammarsTakaaki Goto, Tadaaki Kirishima, Norihito Motousu, Kensei Tsuchida, Takeo Yaku. 620-625
• Evaluation of object metrics in a caseIlona Bluemke, Piotr Zajac. 626-631
• Studying the evolution of software through entropy metricsSalwa K. Abd-El-Hafiz. 632-638
• Rapid prototyping of data flow analysis algorithms using set oriented language (SOL)Yasuhiro Shigematsu, Noriyasu Yokoo. 639-644
• The CORBA component model streaming extensionFrank Stoinski. 645-651
• A technique for extracting grammar from legacy programsS. Biswas, Sanjeev K. Aggarwal. 652-657
• Mixer, supporting the model-view-controller design pattern in servletsPierre Wijkman, Suru Dissanaike, Mitra Wijkman. 658-661
• Specifying context-aware runtime security policies using an algebraic policy specification languageTakuo Watanabe, Kiyoshi Yamada, Naoyuki Nagatou. 662-667
• Iterative reengineering and merging of acquired legacy systemsIpsita Patel, Narendra Gangavarapu. 668-672
• TAGDUR: A tool for producing uml sequence, deployment, and component diagrams through reengineering of legacy systemsRichard Millham, Jianjun Pu, Hongji Yang. 673-678
• Exploring the issues of boundary definition in the application of cosmic-ffp to embedded systemsJacky Keung, D. Ross Jeffery. 679-684
• Adaptive reconfigurable distributed dynamic systems in the control-optimization frameworkEugene M. Burmakin, Boris A. Krassi, Juha O. Tuominen. 685-691
• Security and reliability challenges in component-based software for consumer devicesStefano Campadello, Ronan MacLaverty, Titos Saridakis. 692-700
• A pro-active middleware platform for mobile environmentsDenis Conan, Chantal Taconet, Dhouha Ayed, Lydialle Chateigner, Nabil Kouici, Guy Bernard. 701-706
• SOAP and CORBA productivity comparison for resourcelimited mobile devicesEugene A. Gryazin, M. El. Eng, Olli Seppala. 707-712
• Experience from developing an it system: A vertical cross sectionBoris A. Krassi, Juha O. Tuominen. 713-718
• Mobile, on demand access of service-annotated 3D mapsMichael Przybilski, Stefano Campadello, Titos Saridakis. 719-725
• An authorization and access control scheme for pervasive computingLinda Staffans, Titos Saridakis. 726-733
• Targeted messages in indoor mobile environment: A software - oriented approachAngeliki Tsilira, Adamantia G. Pateli, Erast Athanasiadis, Diomidis Spinellis. 734-739
• UML retrieval and reuse using XMIJuan Llorens Morillo, José Miguel Fuentes, Jorge Morato. 740-746