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 BibTeX
Software Architecture
- Amlan Sahoo:
'Polyview' architecture using J2EE patterns, XML and remote presentation layer.
1-5 BibTeX
- Michael N. Barth, Alexander Knapp:
A coordination architecture for time-dependent components.
6-11 BibTeX
- Germán Urrego-Giraldo:
Language-based model for requirements engineering.
12-17 BibTeX
- Leonid Kof:
Using application domain ontology to construct an initial system model.
18-23 BibTeX
- Padmanabhan Krishnan:
Analysis of initial use case descriptions.
24-29 BibTeX
- Li Jiang, Armin Eberlein, Behrouz Homayoun Far:
Evaluating the requirements engineering process using major concerns.
30-35 BibTeX
- Jewgenij Botaschanjan, Andreas Fleischmann, Markus Pister:
A conceptual model for requirements engineering and management for change-intensive software.
36-41 BibTeX
- Ingolf H. Krüger:
Service specification with MSCs and roles.
42-47 BibTeX
- 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 BibTeX
- Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, T. John Brown:
Towards an automated evaluation process for software architectures.
54-58 BibTeX
- 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 BibTeX
- Walter P. Bond, Turky N. Al-Otaiby, Mohsen N. AlSharif:
Software architecture assessment using quality function deployment.
65-70 BibTeX
- Radmila Juric, Jasna Kuljis, Ray J. Paul:
A software architecture to support interoperability in multiple database systems.
71-77 BibTeX
- Jian Zhang, Ling Shao, Dong Xie:
Architecture of a novel DRM system.
78-83 BibTeX
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 BibTeX
- Adel Besrour, David Hurzeler, Didier Buchs:
Concurrent object oriented approach in morm simulation.
90-94 BibTeX
- 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 BibTeX
- Constantinos Constantinides, Therapon Skotiniotis:
Providing multidimensional decomposition in object-oriented analysis and design.
101-110 BibTeX
- Iftikhar Azim Niaz, Jiro Tanaka:
Mapping UML statecharts to java code.
111-116 BibTeX
- Kouji Yamamoto, Tadahiro Uehara, Akihiko Matsuo, Kyoko Ohashi, Junji Inomata, Tomotaka Matsuda, Rieko Yamamoto:
A pattern system for XML application development.
117-122 BibTeX
- Thu Nga Tran, Khaled M. Khan, Yi-Chen Lan:
A framework for transforming artifacts from data flow diagrams to UML.
123-128 BibTeX
- Quang Vinh Nguyen, Mao Lin Huang:
Hierarchical information visualization using enccon model.
129-135 BibTeX
- Shubir Kapoor, Donna L. Gresh, Josef Schiefer, Pawan Chowdhary, Steve Buckley:
Visual analysis for a sense-and-respond enterprise.
136-141 BibTeX
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 BibTeX
- Masataka Naguray, Yosuke Hibiy, Shingo Takada, Norihisa Doi:
Integration of heterogeneous distributed components using workflow information.
148-153 BibTeX
- Frank Stoinski:
Engineering streaming applications with the corba component model streaming extension.
154-159 BibTeX
- Patrick Schmid, Christine Hofmeister:
Flexible incremental development by integrating specification and code.
160-165 BibTeX
- 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 BibTeX
- Walter Maydl:
A novel component model for the synchronous dataflow paradigm.
172-177 BibTeX
- László Lengyel, Tihamer Levendovszky, Hassan Charaf:
Supporting round-trip engineering in modeling environments with the application of meta-modeling techniques.
178-182 BibTeX
- Martin Deubler, Johannes Grünbauer, Chris Salzmann:
Towards a model-based and incremental development process for service-based systems.
183-188 BibTeX
- Piotr Tomaszewski, Lars Lundberg:
Evaluating the productivity in software development for telecommunication applications.
189-195 BibTeX
- 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 BibTeX
- Simone Röttger, Steffen Zschaler:
A software development process supporting non-functional properties.
202-205 BibTeX
- Myung Jun Song, Seo Ryong Koo, Poong-Hyun Seong:
Verification method for the FBD-style design specification using SDT and SMV.
206-211 BibTeX
- Mario Verdicchio, Pierluigi San Pietro:
Model checking-aided design of secure distributed systems.
212-217 BibTeX
- Karl R. P. H. Leung:
An Experience of continuous development - formulating requirements concurrently with system implementation.
218-223 BibTeX
- Mark Strembeck:
Conflict checking of separation of duty constraints in RBAC - implementation experiences.
224-229 BibTeX
- Mohamed Shehata, Armin Eberlein, Abraham O. Fapojuwo:
The use of semi-formal methods for detecting requirements interactions.
230-235 BibTeX
- Apirada Thadadech, Pattarasinee Bhattarakosol, Fergus O'Brien:
A data validation method in requirement specification of software application.
236-241 BibTeX
- Anne Fuller:
A jigsaw model of XP.
242-246 BibTeX
- 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 BibTeX
- Adam Duffy, Tom Dowling:
A Java API for Experimental analysis of algorithms.
257-262 BibTeX
Software Reliability,
Reuse,
and Security
- Hiroyuki Okamura, Tadashi Dohi, Shunji Osaki:
EM algorithms for logistic software reliability models.
263-268 BibTeX
- Richard A. Pyne, Ezra Kaahwa Mugisa:
The software supermarket: A catalyst for componentbased software development.
269-274 BibTeX
- Errol Hugh Dennis, Ezra Kaahwa Mugisa:
Reusable software architecture for an accounting information system.
275-280 BibTeX
- 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 BibTeX
- Richard W. C. Lui, Lucas Chi Kwong Hui:
A model for delegation of accountability.
286-291 BibTeX
- Khin Mi Mi Aung:
The optimum time to perform software rejuvenation for survivability.
292-296 BibTeX
- Denis Trcek:
Trust formalization - from taxonomy to modeling and simulation framework.
297-302 BibTeX
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 BibTeX
- Alain April, Alain Abran, Reiner R. Dumke:
Assessment of software maintenance capability: A model and its architecture.
309-314 BibTeX
- Bugi Wibowo, A. S. M. Sajeev:
A tool for regression testing.
315-320 BibTeX
- Chung-Horng Lung, Qiang Zhao, Hui Xu, Heine Mar, Prem Kanagaratnam:
Experience of communications software evolution and performance improvement with patterns.
321-326 BibTeX
- Maurizio Pighin, Anna Marzona:
Influence of structural complexity on fault persistence.
327-332 BibTeX
- Ilka Philippow, Ilian Pashov:
Feature driven maintenance of product line architectures.
333-338 BibTeX
- Karim-Cyril Griche, Ioannis Parissis:
Automatic control flow based generation of stubs for structural testing.
339-344 BibTeX
- Charles J. Colbourn, Myra B. Cohen, Renée Turban:
A deterministic density algorithm for pairwise interaction coverage.
345-352 BibTeX
- W. Worawatpibul, A. Surarerks:
Composite mutant: An innovative approach to mutation testing.
353-358 BibTeX
- Aleks Aris:
Simulating testing environments with configuration options.
359-364 BibTeX
- Roger A. Müller, Christoph Lembeck, Herbert Kuchen:
A symbolic Java virtual machine for test case generation.
365-371 BibTeX
- Chien-Ming Chen, Dwen-Ren Tsai, Pi-Ju Tsai:
A CMMI-based self evaluation of capability maturity level for software organizations.
372-377 BibTeX
- Jianwen Xiang, Kokichi Futatsugi, Yanxiang He:
Formal fault tree construction and system safety analysis.
378-384 BibTeX
- Steffen Zschaler, Simone Röttger:
Types of quality of service contracts for component-based systems.
385-388 BibTeX
- Mahmood Niazi, David Wilson, Didar Zowghi:
Critical barriers for software process improvement implementation: An empirical study.
389-395 BibTeX
- Leila Naslavsky, Marcio S. Dias, Debra J. Richardson:
Multiply-deployed residual testing at the object level.
396-401 BibTeX
- Lihua Xu, Marcio S. Dias, Debra J. Richardson:
Regression testing via model checking.
402-407 BibTeX
- Christian Denger, Marcus Ciolkowski, Filippo Lanubile:
Does active guidance improve software inspections? A preliminary empirical study.
408-413 BibTeX
- Jehad Al-Dallal, Paul G. Sorenson:
Generating reusable cluster-based test cases for framework applications: Is it worth it?
414-421 BibTeX
- Yuk Kuen Wong, David Wilson:
An empirical investigation of the important relationship between software review meetings process and outcomes.
422-427 BibTeX
Software Methodologies and Protocols
- Salaheddin J. Juneidi:
Toward programming paradigms for agent oriented software engineering.
428-432 BibTeX
- Salaheddin J. Juneidi, George A. Vouros:
Survey and evaluation of agent oriented software engineering.
433-440 BibTeX
- Jorge Estrela da Silva:
A framework for design and implementation of control software.
441-446 BibTeX
- Mikhail Kazakov:
A feasibility proof of semi-automated software integration.
447-452 BibTeX
- Cornelia Heinisch, Joachim Goll:
Consistent object-based software construction for embedded applications.
453-461 BibTeX
- Maritta Heisel, Carsten von Schwichow:
A method for guiding software evolution.
462-468 BibTeX
- Fabrizio Fabbrini, Mario Fusani, Giuseppe Lami, Edoardo Sivera:
A methodological approach to improve the software acquisition process in automotive industry.
469-473 BibTeX
- Yuk Kuen Wong:
A replication empirical study of training, experience and software review performance.
474-480 BibTeX
- Denise M. Woit, K. J. Bell:
Sociologically-based process modifications to affect project success.
481-485 BibTeX
- 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 BibTeX
- John Donaldson:
Using narratives to analyse systems failures.
493-498 BibTeX
- Martin Orehek, Philipp Harms:
Process model for efficient implementations of graphical specifications in the field of embedded real-time software.
499-504 BibTeX
- Neil C. Audsley, Steven Crook-Dawkins:
Model driven architecture as a facilitator for automatic code generation.
505-510 BibTeX
- Wouter Hendrickx, Gunther Stuer, Jan Broeckhove, Tom Dhaene, David Dewolfs:
A comparison between the java and c++ implementation of RMPP.
511-514 BibTeX
- Ales Zivkovic, Marjan Hericko:
Tips for estimating software size with FPA method.
515-519 BibTeX
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 BibTeX
- Giuseppe A. Di Lucca, Anna Rita Fasolino, Porfirio Tramontana, Ugo de Carlini:
Identifying reusable components in web applications.
526-531 BibTeX
- Maolin Tang:
A model for developing web-based distributed and parallel genetic algorithms.
532-537 BibTeX
- 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 BibTeX
- Olena Kaykova, Oleksiy Khriyenko, Mikko Kovalainen, Andriy Zharko:
Visual interface for adaptation of data sources to semantic web.
544-547 BibTeX
- Jens Bruhn, Guido Wirtz:
Support for interoperability of RPC-based web services - a case study -.
548-553 BibTeX
- Alan C. Jeffery, Volker H. Schroeter:
Software engineering for small software businesses - a model for enquiry -.
554-564 BibTeX
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 BibTeX
- Haruaki Tamada, Masahide Nakamura, Akito Monden:
Design and evaluation of birthmarks for detecting theft of java programs.
569-574 BibTeX
- Stefan Biffl, Matthias Heindl, Martin Auer, Michael Halling:
Tool support for a risk management process - an empirical study on effectiveness and efficiency.
575-580 BibTeX
- Kamila Bartsch, Mike Robey, Jim Ivins, Chiou Peng Lam:
Consistency checking between use case scenarios and UML sequence diagrams.
581-589 BibTeX
- Tihamer Levendovszky, László Lengyel, Hassan Charaf:
Software composition with a multipurpose modeling and model transformation framework.
590-594 BibTeX
- Klaus Marius Hansen, Christian Heide Damm:
Building flexible, distributed collaboration tools using type-based publish/subscribe-the distributed knight case.
595-600 BibTeX
- Thomas Thelin, Per Andersson, Jeremy Harrell:
Tool support for usage-based reading.
601-606 BibTeX
- 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 BibTeX
- Bo Nørregaard Jørgensen:
Enhancing Java with support for simultaneous independent extensibility of collaborating objects.
613-619 BibTeX
- Takaaki Goto, Tadaaki Kirishima, Norihito Motousu, Kensei Tsuchida, Takeo Yaku:
A visual software development environment based on graph grammars.
620-625 BibTeX
- Ilona Bluemke, Piotr Zajac:
Evaluation of object metrics in a case.
626-631 BibTeX
- Salwa K. Abd-El-Hafiz:
Studying the evolution of software through entropy metrics.
632-638 BibTeX
- Yasuhiro Shigematsu, Noriyasu Yokoo:
Rapid prototyping of data flow analysis algorithms using set oriented language (SOL).
639-644 BibTeX
- Frank Stoinski:
The CORBA component model streaming extension.
645-651 BibTeX
- S. Biswas, Sanjeev K. Aggarwal:
A technique for extracting grammar from legacy programs.
652-657 BibTeX
- Pierre Wijkman, Suru Dissanaike, Mitra Wijkman:
Mixer, supporting the model-view-controller design pattern in servlets.
658-661 BibTeX
- Takuo Watanabe, Kiyoshi Yamada, Naoyuki Nagatou:
Specifying context-aware runtime security policies using an algebraic policy specification language.
662-667 BibTeX
- Ipsita Patel, Narendra Gangavarapu:
Iterative reengineering and merging of acquired legacy systems.
668-672 BibTeX
- Richard Millham, Jianjun Pu, Hongji Yang:
TAGDUR: A tool for producing uml sequence, deployment, and component diagrams through reengineering of legacy systems.
673-678 BibTeX
- Jacky Keung, D. Ross Jeffery:
Exploring the issues of boundary definition in the application of cosmic-ffp to embedded systems.
679-684 BibTeX
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 BibTeX
- Stefano Campadello, Ronan MacLaverty, Titos Saridakis:
Security and reliability challenges in component-based software for consumer devices.
692-700 BibTeX
- Denis Conan, Chantal Taconet, Dhouha Ayed, Lydialle Chateigner, Nabil Kouici, Guy Bernard:
A pro-active middleware platform for mobile environments.
701-706 BibTeX
- Eugene A. Gryazin, M. El. Eng, Olli Seppala:
SOAP and CORBA productivity comparison for resourcelimited mobile devices.
707-712 BibTeX
- Boris A. Krassi, Juha O. Tuominen:
Experience from developing an it system: A vertical cross section.
713-718 BibTeX
- Michael Przybilski, Stefano Campadello, Titos Saridakis:
Mobile, on demand access of service-annotated 3D maps.
719-725 BibTeX
- Linda Staffans, Titos Saridakis:
An authorization and access control scheme for pervasive computing.
726-733 BibTeX
- Angeliki Tsilira, Adamantia G. Pateli, Erast Athanasiadis, Diomidis Spinellis:
Targeted messages in indoor mobile environment: A software - oriented approach.
734-739 BibTeX
Papers from Other IASTED Conferences
Copyright © Sat May 16 23:15:43 2009
by Michael Ley (ley@uni-trier.de)
