IASTED Conf. on Software Engineering 2004: Innsbruck, Austria
M. H. Hamza (Ed.): IASTED International Conference on Software Engineering, part of the 22nd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 17-19, 2004. IASTED/ACTA Press 2004 ISBN 0-88986-381-4
Software Architecture
- Amlan Sahoo: 'Polyview' architecture using J2EE patterns, XML and remote presentation layer. 1-5
- Germán Urrego-Giraldo: Language-based model for requirements engineering. 12-17
- Leonid Kof: Using application domain ontology to construct an initial system model. 18-23
- Padmanabhan Krishnan: Analysis of initial use case descriptions. 24-29
- Li Jiang, Armin Eberlein, Behrouz Homayoun Far: Evaluating the requirements engineering process using major concerns. 30-35
- Jewgenij Botaschanjan, Andreas Fleischmann, Markus Pister: A conceptual model for requirements engineering and management for change-intensive software. 36-41
- Ingolf H. Krüger: Service specification with MSCs and roles. 42-47
- Luis F. Fernández-Martínez, Cuauhtémoc Lemus Olalde, Miguel A. Serrano: Improving the IEEE std 1471-2000 for communication among stakeholders and early design decisions. 48-53
- Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, T. John Brown: Towards an automated evaluation process for software architectures. 54-58
- José L. Arciniegas, Rodrigo Cerón, José L. Ruiz, Víctor Martínez, Juan C. Dueñas: A case study of performance analysis for real-time systems. 59-64
- Walter P. Bond, Turky N. Al-Otaiby, Mohsen N. AlSharif: Software architecture assessment using quality function deployment. 65-70
- Radmila Juric, Jasna Kuljis, Ray J. Paul: A software architecture to support interoperability in multiple database systems. 71-77
Object-oriented analysis, systems, design, and data visualization
- A. Jordaan, D. B. Jordaan: An object-oriented system to enhance fundamental problem-solving skills of learners. 84-89
- Adel Besrour, David Hurzeler, Didier Buchs: Concurrent object oriented approach in morm simulation. 90-94
- Bianchi Serique Meiguins, Luiz Affonso Guedes, Marcos Venícios Araújo, Marcelo de Brito Garcia, Rosevaldo Dias de Souza Jr.: A proposal for collaborative virtual environments architecture using internet patterns. 95-100
- Constantinos Constantinides, Therapon Skotiniotis: Providing multidimensional decomposition in object-oriented analysis and design. 101-110
- Kouji Yamamoto, Tadahiro Uehara, Akihiko Matsuo, Kyoko Ohashi, Junji Inomata, Tomotaka Matsuda, Rieko Yamamoto: A pattern system for XML application development. 117-122
- Thu Nga Tran, Khaled M. Khan, Yi-Chen Lan: A framework for transforming artifacts from data flow diagrams to UML. 123-128
- Quang Vinh Nguyen, Mao Lin Huang: Hierarchical information visualization using enccon model. 129-135
- Shubir Kapoor, Donna L. Gresh, Josef Schiefer, Pawan Chowdhary, Stephen J. Buckley: Visual analysis for a sense-and-respond enterprise. 136-141
Software Analysis, Design, and Development
- Faisal Akkawi, K. Akkawi, Atef Bader, D. Fletcher, D. Duncavage: Using aspect-oriented technology in the design of advanced diagnostic systems. 142-147
- Masataka Nagura, Yosuke Hibi, Shingo Takada, Norihisa Doi: Integration of heterogeneous distributed components using workflow information. 148-153
- Frank Stoinski: Engineering streaming applications with the corba component model streaming extension. 154-159
- Patrick Schmid, Christine Hofmeister: Flexible incremental development by integrating specification and code. 160-165
- Hiyam Al-Kilidar, D. Ross Jeffery, Aybüke Aurum: Description of an empirical experiment to measure effects of pair work on the design phase. 166-171
- Walter Maydl: A novel component model for the synchronous dataflow paradigm. 172-177
- László Lengyel, Tihamer Levendovszky, Hassan Charaf: Supporting round-trip engineering in modeling environments with the application of meta-modeling techniques. 178-182
- Martin Deubler, Johannes Grünbauer, Chris Salzmann: Towards a model-based and incremental development process for service-based systems. 183-188
- Piotr Tomaszewski, Lars Lundberg: Evaluating the productivity in software development for telecommunication applications. 189-195
- Søren Top, Hans Jørgen Nørgaard, Brian Krogsgaard, Bo Nørregaard Jørgensen: The sandwich code file structure: An architectural support for software engineering in simulation based development of embedded control applications. 196-201
- Simone Röttger, Steffen Zschaler: A software development process supporting non-functional properties. 202-205
- Myung Jun Song, Seo Ryong Koo, Poong-Hyun Seong: Verification method for the FBD-style design specification using SDT and SMV. 206-211
- Mario Verdicchio, Pierluigi San Pietro: Model checking-aided design of secure distributed systems. 212-217
- Karl R. P. H. Leung: An Experience of continuous development - formulating requirements concurrently with system implementation. 218-223
- Mark Strembeck: Conflict checking of separation of duty constraints in RBAC - implementation experiences. 224-229
- Mohamed Shehata, Armin Eberlein, Abraham O. Fapojuwo: The use of semi-formal methods for detecting requirements interactions. 230-235
- Apirada Thadadech, Pattarasinee Bhattarakosol, Fergus O'Brien: A data validation method in requirement specification of software application. 236-241
- Anne Fuller: A jigsaw model of XP. 242-246
- Yuk Kuen Wong: A knowledge-based 'explicit and implicit input-output' model for analysis of the software developers'performance in the software review process. 247-256
Software Reliability, Reuse, and Security
- Hiroyuki Okamura, Tadashi Dohi, Shunji Osaki: EM algorithms for logistic software reliability models. 263-268
- Richard A. Pyne, Ezra Kaahwa Mugisa: The software supermarket: A catalyst for componentbased software development. 269-274
- Errol Hugh Dennis, Ezra Kaahwa Mugisa: Reusable software architecture for an accounting information system. 275-280
- Venus 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: Delegation of signing and decryption rights using pki proxy memo. 281-285
- Khin Mi Mi Aung: The optimum time to perform software rejuvenation for survivability. 292-296
- Denis Trcek: Trust formalization - from taxonomy to modeling and simulation framework. 297-302
Software Maintenance, Testing, and Quality Service
- Hyeon Soo Kim, Chul Hong Kim: A use-case driven approach to component mining for legacy modernization. 303-308
- Alain April, Alain Abran, Reiner R. Dumke: Assessment of software maintenance capability: A model and its architecture. 309-314
- Chung-Horng Lung, Qiang Zhao, Hui Xu, Heine Mar, Prem Kanagaratnam: Experience of communications software evolution and performance improvement with patterns. 321-326
- Karim-Cyril Griche, Ioannis Parissis: Automatic control flow based generation of stubs for structural testing. 339-344
- Charles J. Colbourn, Myra B. Cohen, Renée Turban: A deterministic density algorithm for pairwise interaction coverage. 345-352
- W. Worawatpibul, A. Surarerks: Composite mutant: An innovative approach to mutation testing. 353-358
- Aleks Aris: Simulating testing environments with configuration options. 359-364
- Roger A. Müller, Christoph Lembeck, Herbert Kuchen: A symbolic Java virtual machine for test case generation. 365-371
- Chien-Ming Chen, Dwen-Ren Tsai, Pi-Ju Tsai: A CMMI-based self evaluation of capability maturity level for software organizations. 372-377
- Jianwen Xiang, Kokichi Futatsugi, Yanxiang He: Formal fault tree construction and system safety analysis. 378-384
- Steffen Zschaler, Simone Röttger: Types of quality of service contracts for component-based systems. 385-388
- Mahmood Niazi, David Wilson, Didar Zowghi: Critical barriers for software process improvement implementation: An empirical study. 389-395
- Leila Naslavsky, Marcio S. Dias, Debra J. Richardson: Multiply-deployed residual testing at the object level. 396-401
- Christian Denger, Marcus Ciolkowski, Filippo Lanubile: Does active guidance improve software inspections? A preliminary empirical study. 408-413
- Jehad Al-Dallal, Paul G. Sorenson: Generating reusable cluster-based test cases for framework applications: Is it worth it? 414-421
- Yuk Kuen Wong, David Wilson: An empirical investigation of the important relationship between software review meetings process and outcomes. 422-427
Software Methodologies and Protocols
- Salaheddin J. Juneidi: Toward programming paradigms for agent oriented software engineering. 428-432
- Salaheddin J. Juneidi, George A. Vouros: Survey and evaluation of agent oriented software engineering. 433-440
- Jorge Estrela da Silva: A framework for design and implementation of control software. 441-446
- Mikhail Kazakov: A feasibility proof of semi-automated software integration. 447-452
- Cornelia Heinisch, Joachim Goll: Consistent object-based software construction for embedded applications. 453-461
- Fabrizio Fabbrini, Mario Fusani, Giuseppe Lami, Edoardo Sivera: A methodological approach to improve the software acquisition process in automotive industry. 469-473
- Yuk Kuen Wong: A replication empirical study of training, experience and software review performance. 474-480
- Denise M. Woit, K. J. Bell: Sociologically-based process modifications to affect project success. 481-485
- Don Libes, David Flater, Evan K. Wallace, Michelle Potts Steves, Allison Barnard Feeney, Edward Barkmeyer: The challenges of automated methods for integrating systems. 486-492
- John Donaldson: Using narratives to analyse systems failures. 493-498
- Martin Orehek, Philipp Harms: Process model for efficient implementations of graphical specifications in the field of embedded real-time software. 499-504
- Neil C. Audsley, Steven Crook-Dawkins: Model driven architecture as a facilitator for automatic code generation. 505-510
- Wouter Hendrickx, Gunther Stuer, Jan Broeckhove, Tom Dhaene, David Dewolfs: A comparison between the java and c++ implementation of RMPP. 511-514
Software Engineering Applications
- Cornelius Wille, Reiner R. Dumke, Alain Abran, Jean-Marc Desharnais: E-learning infrastructure for software engineering education: Steps in ontology modeling for SWEBOK. 520-525
- Giuseppe A. Di Lucca, Anna Rita Fasolino, Porfirio Tramontana, Ugo de Carlini: Identifying reusable components in web applications. 526-531
- Maolin Tang: A model for developing web-based distributed and parallel genetic algorithms. 532-537
- Kelly C. C. Silva, Ricardo Choren, Carlos José Pereira de Lucena: Applying anote to modeling multi agent systems a case study in e-business. 538-543
- Olena Kaykova, Oleksiy Khriyenko, Mikko Kovalainen, Andriy Zharko: Visual interface for adaptation of data sources to semantic web. 544-547
- Jens Bruhn, Guido Wirtz: Support for interoperability of RPC-based web services - a case study -. 548-553
- Alan C. Jeffery, Volker H. Schroeter: Software engineering for small software businesses - a model for enquiry -. 554-564
Software Tools, Programming Languages, and Embedded Systems
- Suru Dissanaike, Pierre Wijkman, Mitra Wijkman: Utilizing mixer for content management in a network of embedded systems. 565-568
- Haruaki Tamada, Masahide Nakamura, Akito Monden: Design and evaluation of birthmarks for detecting theft of java programs. 569-574
- Stefan Biffl, Matthias Heindl, Martin Auer, Michael Halling: Tool support for a risk management process - an empirical study on effectiveness and efficiency. 575-580
- Kamila Bartsch, Mike Robey, Jim Ivins, Chiou Peng Lam: Consistency checking between use case scenarios and UML sequence diagrams. 581-589
- Tihamer Levendovszky, László Lengyel, Hassan Charaf: Software composition with a multipurpose modeling and model transformation framework. 590-594
- Klaus Marius Hansen, Christian Heide Damm: Building flexible, distributed collaboration tools using type-based publish/subscribe-the distributed knight case. 595-600
- Seo Ryong Koo, Poong-Hyun Seong, Junbeom Yoo, Sung Deok Cha, Cheong Youn, Hyun-chul Han: An integrated environment of S/W specification and V&V for safety-critical systems. 607-612
- Bo Nørregaard Jørgensen: Enhancing Java with support for simultaneous independent extensibility of collaborating objects. 613-619
- Takaaki Goto, Tadaaki Kirishima, Norihito Motousu, Kensei Tsuchida, Takeo Yaku: A visual software development environment based on graph grammars. 620-625
- Salwa K. Abd-El-Hafiz: Studying the evolution of software through entropy metrics. 632-638
- Yasuhiro Shigematsu, Noriyasu Yokoo: Rapid prototyping of data flow analysis algorithms using set oriented language (SOL). 639-644
- Frank Stoinski: The CORBA component model streaming extension. 645-651
- Pierre Wijkman, Suru Dissanaike, Mitra Wijkman: Mixer, supporting the model-view-controller design pattern in servlets. 658-661
- Takuo Watanabe, Kiyoshi Yamada, Naoyuki Nagatou: Specifying context-aware runtime security policies using an algebraic policy specification language. 662-667
- Ipsita Patel, Narendra Gangavarapu: Iterative reengineering and merging of acquired legacy systems. 668-672
- Richard Millham, Jianjun Pu, Hongji Yang: TAGDUR: A tool for producing uml sequence, deployment, and component diagrams through reengineering of legacy systems. 673-678
- Jacky Keung, D. Ross Jeffery: Exploring the issues of boundary definition in the application of cosmic-ffp to embedded systems. 679-684
Special Session: Mobile Computing Systems in Dynamic Environments
- Eugene M. Burmakin, Boris A. Krassi, Juha O. Tuominen: Adaptive reconfigurable distributed dynamic systems in the control-optimization framework. 685-691
- Stefano Campadello, Ronan MacLaverty, Titos Saridakis: Security and reliability challenges in component-based software for consumer devices. 692-700
- Denis Conan, Chantal Taconet, Dhouha Ayed, Lydialle Chateigner, Nabil Kouici, Guy Bernard: A pro-active middleware platform for mobile environments. 701-706
- Eugene A. Gryazin, M. El. Eng, Olli Seppala: SOAP and CORBA productivity comparison for resourcelimited mobile devices. 707-712
- Boris A. Krassi, Juha O. Tuominen: Experience from developing an it system: A vertical cross section. 713-718
- Michael Przybilski, Stefano Campadello, Titos Saridakis: Mobile, on demand access of service-annotated 3D maps. 719-725
- Linda Staffans, Titos Saridakis: An authorization and access control scheme for pervasive computing. 726-733
- Angeliki Tsilira, Adamantia G. Pateli, Erast Athanasiadis, Diomidis Spinellis: Targeted messages in indoor mobile environment: A software - oriented approach. 734-739
Papers from Other IASTED Conferences
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team