M. H. Hamza (Ed.):
Proceedings of the IASTED Conference on Software Engineering and Applications, November 9-11, 2004, MIT, Cambridge, MA, USA.
IASTED/ACTA Press 2004, ISBN 0-88986-425-X 
Databases and data mining
- Adi-Cristina Mitea:
A proposal for a multiple join index.
1-6
- Sergio Luján-Mora, Juan Trujillo:
Modeling the physical design of data warehouses from a UML specification.
7-12
- Keke Cai, Chun Chen, Huaizhong Lin:
Efficient similarity matching for categorical sequence based on dynamic partition.
13-18
- Adem Karahoca:
Data mining via cellular neural networks in the GSM sector.
19-24
- Emmanuel E. Udoh, David Erbach, Ahmed Mustafa:
Neural network facilitated analysis of stress in a biological species.
25-29
- Emmanuel E. Udoh, David Erbach:
Applying database technology in the integration of engineering software modules.
30-33
- Christian Mancas, Simona Dragomir:
Matbase datalog¬ subsystem meta-catalog conceptual design.
34-41
- Alejandro Botello Castillo, Rubén Peredo Valderrama, Leandro Balladares Ocaña:
Design and implementation of a data repository for a case tool.
42-46
- Ulf Johansson, Cecilia Sönströd, Lars Niklasson:
Why rule extraction matters.
47-52
- Paul Zellweger:
A tool for generating a data-driven database taxonomy.
53-58
- Iryna V. Turchenko, Volodymyr Turchenko, Volodymyr Kochan, Pavlo E. Bykovy, Anatoly Sachenko, George Markowsky:
Database design for CAD system optimising distributed sensor networks for perimeter security.
59-64
- Xuetao Guo, Jie Lu, Guangquan Zhang:
A recommender system by two-level collaborative filtering.
65-69
Security and protection
- Zhiqing Liu:
A model of program execution for security purposes.
70-76
- Adam Duffy, Tom Dowling:
An object oriented approach to an identity based encryption cryptosystem.
77-83
- Andrew Burnett, Tom Dowling:
Rapid prototyping and performance analysis of elliptic curve cryptographic algorithms using Java and Maple.
84-89
- Gaowei Bian, Ken Nakayama, Yoshitake Kobayashi, Mamoru Maekawa:
Java mobile code security by bytecode behavior analysis.
90-95
- Cinzia Bernardeschi, Luca Martini:
Enforcement of applet boundaries in Java card systems.
96-101
- Joon S. Park, Pratheep Chandramohan, Joseph Giordano:
Component-abnormality detection and immunization for survivable systems in large distributed environments.
102-108
- Christopher Weber, Sriram Seshadri, Furrukh Khan:
Using emerging open specifications for enhancing XML web services to build a maintainable and secure health care information system.
109-114
- Zhengfan Dai, Xudong He, Junhua Ding, Shu Gao:
Modeling and analyzing security protocols in SAM: A case study.
115-121
- George Leeman, Aaron Kershenbaum, Larry Koved, Darrell Reimer:
Detecting unwanted synchronization in Java programs.
122-132
- Levent Ertaul, Suma Venkatesh:
JHide - A tool kit for code obfuscation.
133-138
Software architecture
- Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, T. John Brown:
Using the NaSr architectural style to solve the broken hyperlink problem.
139-143
- Wei-Tek Tsai, Dawei Zhang, Yinong Chen, Hai Huang, Raymond A. Paul, Ning Liao:
A software reliability model for web services.
144-149
- Tamer Rafla, Rafiou Oketokoun, Artur Wiklik, Michel Desmarais, Pierre N. Robillard:
Accommodating usability driven changes in existing software architecture.
150-154
- Pablo Bustos, Jaime Navon:
A simple platform-independent web application development process.
155-160
- Janhua Lin:
Distributed architectures for rich-client internet applications.
161-166
- Andreas Günzler, Daniel von Roennebeck:
Towards an automated quality assessment of UML-based software architectures.
167-172
- Thomas Schöbel-Theuer:
Instance orientation: A programming methodology.
173-179
- Weixiang Sun, Zhengfan Dai:
AOSAM: A formal framework for aspect-oriented software architecture specifications.
180-185
- Arif Selçuk Ögrenci, Taner Arsan, Tuncay Saydam:
An open software architecture of neural networks: Neurosoft.
186-191
- Jie Ren, Richard N. Taylor:
Utilizing commercial object libraries within looselycoupled, event-based systems.
192-197
- Kriste Krstovski, Andrew L. Kun, W. Thomas Miller III:
Distributed components for retrieval of driver's license data using a handheld computer.
198-203
- Errol Hugh Dennis, Ezra Kaahwa Mugisa:
A permissive/restrictive security structure for a reusable software architecture for an accounting information system.
204-209
Software maintenance and reliability
- Catherine Stringfellow, C. D. Amory, Dileep Potnuri, M. Georg:
Deriving change architectures from RCS history.
210-215
- Yogesh Singh, Bindu Goel, Pravin Chandra:
A model for corrective maintenance time prediction using neural network.
216-221
- Yoshiki Higo, Toshihiro Kamiya, Shinji Kusumoto, Katsuro Inoue:
ARIES: Refactoring support environment based on code clone analysis.
222-229
- Victor Shtern:
On object-oriented approach to program modularization.
230-235
- Michael A. Hoffman:
Inferring class level scenarios from object-oriented source code.
236-240
- Tilman Seifert, Gerd Beneken, Niko Baehr:
Engineering long-lived applications using MDA.
241-246
- Feng-Pu Yang, Chia Hung Kao, Hewijin Christine Jiau:
From principle, product, process to effort.
247-252
- Sin Ban Ho, Ian Chai, Chuie Hong Tan:
An empirical investigation for different sequences of pedagogical framework documentation in RAD.
253-258
- Suzanne Smith, Sara Stoecklin, Judy Mullins:
A practical guide to measuring method coupling in object-oriented systems.
259-263
- Jianyun Zhou, Tor Stålhane:
A framework for early robustness assessment.
264-268
- Phillip L. Nico, Clark Savage Turner, Kimberly Knowles Nico:
Insecurity by contract.
269-274
- Mao Xiaoguang, John May:
Reliability specification for component-based software.
275-281
- Kazuki Iwamoto, Tadashi Dohi, Naoto Kaio:
A discrete software cost model with periodic rejuvenation for a telecommunication billing application.
282-287
Software testing
- Peter J. Clarke, Brian A. Malloy:
Using a taxonomy to analyze classes during implementation-based testing.
288-293
- Sami Beydeda:
Integrated generation of specification- and program-based test cases.
294-299
- Shujuan Jiang, Baowen Xu, Liang Shi:
An approach to analyzing exception propagation.
300-305
- Yajuan Pan, Mei-Hwa Chen:
Dataflow analysis and testing of software components.
306-311
- Yu Lei, Richard H. Carver:
Reachability testing of monitor-based programs.
312-317
- Huy-Vu Do, Chantal Robach, Michel Delaunay, Jean-Sébastien Cruz:
A testability analysis for data-flow designs of reactive real-time systems.
318-323
- Linda Badri, Mourad Badri, Velou Stéphane Blé:
Object-oriented integration testing: A method level based approach.
324-330
- Walter Maydl:
Model checking for component-based software development for embedded systems.
331-338
Formal methods and specification
Modelling and simulation
- John Noll, Jigar Shah:
Process state inference for support of knowledge intensivework.
382-387
- David Cumberland, Clark Savage Turner:
An ad hoc evaluation of workflow modeling tools.
388-393
- James B. Dabney, Gary Barber, Don Ohi:
Estimating direct return on investment of independent verification and validation.
394-399
- Alexander Salbrechter, Heinrich C. Mayr, Christian Kop:
Mapping pre-designed business process models to UML.
400-405
- Yu-Ling Won, Dwen-Ren Tsai, Pi-Ju Tsai:
How far is an ISO 9001-granted organization to capability maturity model integration?
406-411
- Jeongeun Shin, Shinji Ozawa:
Shape recognition of the human body using the model of a 3D human body.
412-417
- A. R. Dani, Ved Prakash Gulati:
A framework for modeling automated negotiation.
418-423
- Christian Reichel, Roy Oberhauser:
XML-based programming language modeling: An approach to software engineering.
424-429
- William J. Ray, Man-tak Shing, Chee Khan Kwok:
Simulation models for optimal object server deployment.
430-435
- Mariele Hagen, Volker Gruhn:
Towards flexible software processes by using process patterns.
436-441
- Kazunori Iwata, Nobuhiro Ito, Itsuki Noda, Naohiro Ishii:
Design and implementation of a simulator for evaluating dial-a-ride systems.
442-448
- Ingunn Myrtveit, Erik Stensrud:
SW cost estimation: Measuring model performance of arbitrary function approximators.
449-455
Software engineering applications
- Tak Wah Kwan, Hareton K. N. Leung:
Project perspective of software acquisition practices.
456-464
- Tomasz Müldner, Darcy G. Benoit, Fei Wang:
Generic approach to internationalization of websites.
465-470
- Andrew J. Kornecki, Kimberley Hall:
Approaches to assure safety in fly-by-wire systems: Airbus vs. boeing.
471-476
- Elankayer Sithirasenan, Vallipuram Muthukkumarasamy:
A model for object-based distributed processing using behaviour trees.
477-482
- Franco Cicirelli, Angelo Furfaro, Libero Nigro:
Deployment, configuration and management of mobile actor systems.
483-488
- Milan Vidakovic, Goran Sladic, Miroslav Zaric:
Metadata harvesting using agent technology.
489-493
- Salaheddin J. Juneidi, George A. Vouros:
Agent role locking (ARL): Theory for agent oriented software engineering.
494-500
- Aldo Dagnino, Karen Smiley, Hema Srikanth, Annie I. Antón, Laurie A. Williams:
Experiences in applying agile software development practices in new product development.
501-506
- Rita Suzana Pitangueira Maciel, Carlos André Guimarães Ferraz, Nelson S. Rosa:
InterDOC: Interoperable services in collaborative writing environments.
507-512
- Hui Zeng, David Rine:
A neural network approach for software defects fix effort estimation.
513-517
Software tools and techniques
- John D. Roberts, Ilmi Yoon, Sanghyuk Yoon, Edward Lank:
An interface mark-up language for web3D.
518-522
- Hajime Iwata, Junko Shirogane, Yoshiaki Fukazawa:
Generating tutorial system from sequence diagrams in UML.
523-528
- Sadahiro Isoda:
On execution control of UML's use case.
529-533
- Liwu Li, Wenjiang Wang:
Object-oriented programming with dynamic classification in C#.
534-539
- Yukio Ishihara, Makio Ishihara:
An approach to realize click, double-click, and drag in 3D.
540-545
- Yasutaka Kono, Shingo Takada, Norihisa Doi:
A framework for multiple service discovery and robustness.
546-551
- Jean Utke, Uwe Naumann:
Separating language dependent and independent tasks for the semantic transformation of numerical programs.
552-558
- Cinzia Bernardeschi, Luca Martini, Paolo Masci:
Java bytecode verification with dynamic structures.
559-564
- Xiao Hu, Ting Lei, Yuchang Gong, Xuehai Zhou:
Compiling adaptive programs for real-time dynamic scheduling.
565-570
- Serge Midonnet, Hui Xue Zhao:
A standard real-time application development using real-time java specification from theory to practice.
571-576
- Theodorus Eric Setiadi, Ken Nakayama, Yoshitake Kobayashi, Mamoru Maekawa:
Identifying candidate invariant conditions of running program.
577-582
- Yingzhou Zhang, Baowen Xu, Ju Qian:
Modular monadic slicing of concurrent programs.
583-587
- Taolue Chen, Tingting Han, Jian Lu:
Tree logic with recursion and model checking algorithm.
588-593
- Marco Calamita, Piero Lunghi, Riccardo Melioli, Flavio Tonelli:
A supervised multi-agent approach for operations capacity planning through performances-driven analysis.
594-600
- Edward Curry, Desmond Chambers, Gerard Lyons:
Enterprise service facilitation within agent environments.
601-606
Software design and development
- Constantinos Constantinides, Therapon Skotiniotis:
The provision of contracts to enforce system semantics throughout software development.
607-616
- Wang Hongyuan, Zhang Ke, Feng Tie, Che Haiyan, Zheng Yinshi:
Synthesizing statecharts through sequence diagrams analysis.
617-622
- F. Tessier, Mourad Badri, Linda Badri:
An early detection of semantic conflicts between aspects: A model analysis based technique.
623-628
- Sarun Chaiworawitgul, Proadpran Pitsatorn, Boonchai Sowanwanichkul:
Applying object oriented concept to combination logic design.
629-634
- Axel Rauschmayer, Patrick Renner:
Tube: Interactive model-integrated object-oriented programming.
635-640
- Geir A. Bjune, Jack R. Hagemeister:
Hyper-trace: Using hypertext linking for traceability.
641-646
- Jing-Chiou Liou:
PLUS: A release management process for progressive software development model.
647-652
- Jianyun Zhou, Tor Stålhane:
A component-based reference model for web-based systems.
653-658
- Karim Visram:
Extreme programming: Pair-programmers, team players or future leaders?
659-664
- Abdallah Mohamed, Günther Ruhe, Armin Eberlein:
Towards a customizable approach for COTS selection.
665-671
- Fabrizio Fabbrini, Mario Fusani, Stefania Gnesi, Giuseppe Lami:
Automatic clustering of non-functional requirements.
672-677
- Shyh-Kwei Chen, Kun-Lung Wu, Jih-Shyr Yih:
Decoupled common annotations for reusing XML document composition logic.
678-683
- Geoff Coulson, Gordon S. Blair, Paul Grace, Ackbar Joolia, Kevin Lee, Jo Ueyama:
A component model for building systems software.
684-689
- Radmila Juric, Jasna Kuljis, Ray J. Paul:
Contextualising components when addressing database interoperability.
690-695
- Li Liao, Hareton K. N. Leung, Yuzhong Qu:
Automated support of quality improvement.
696-702
- A. Estévez García, J. Padrón Lorenzo, J. L. Roda García:
An MDA-based framework to achieve high productivity in software development.
703-708
- Øystein Haugen, Birger Møller-Pedersen, Jon Oldevik, Arnor Solberg:
An MDA®-based framework for model-driven product derivation.
709-714
- Jirí Adámek, Frantisek Plasil:
Erroneous architecture is a relative concept.
715-720
- M. R. Narasimhamurthy, Ramzan Nadaf, Animesh Bhowmick:
Automating VBI-data generation and validation.
721-724
- Kuniharu Yamada, Shingo Takada, Norihisa Doi:
Towards use case based software reuse.
725-730
- Rajendra K. Bera:
An algorithm for determining the equivalence of two blocks of assignment statements.
731-735
- Hideo Hasegawa, Shingo Takada, Norihisa Doi:
Supporting the iterative development of sequence diagrams and statecharts.
736-742
- Mark Burgin:
Logical tools for program integration and interoperability.
743-748
- Angela Guercio, Bonita Simoes, Arvind K. Bansal:
Towards large scale voice activated dynamic and interactive internet based animation and modeling.
749-754
- Jinhong Shen, Seiya Miyazaki, Terumasa Aoki, Hiroshi Yasuda:
Personal e-moviemaker design.
755-760
- Kuan Jen Lin, Shih Wen Chen:
On the formulation of software cost for IO devices.
761-766
- Richard A. Pyne, Ezra Kaahwa Mugisa:
Software component self-description: Labeling components in a software supermarket.
767-772
Special session:
Data mining software project databases
Copyright © Mon Nov 9 23:33:46 2009
by Michael Ley (ley@uni-trier.de)
