SERP 2006:
Las Vegas,
Nevada,
USA
Hamid R. Arabnia, Hassan Reza (Eds.):
Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, SERP 2006, Las Vegas, Nevada, USA, June 26-29, 2006, Volume 2.
CSREA Press 2006, ISBN 1-932415-91-2 BibTeX
Software Metrics,
Configuration and Project Management
- Kuangnan Chang, Bobby Adkins:
Virus Removal Cost (VRC) Metric.
469-473 BibTeX
- Paul Whitney, Christian Posse, Xingye Lei:
Towards an Extendable Software System for Information Integration.
474-481 BibTeX
- Paulo Sousa:
A Workbench for Learning Enterprise Patterns.
482-488 BibTeX
- Shazia Arshad, Muhammad Shoaib, Abad Shah:
Web Metrics: The way of improvement of quality of Non web-based systems.
489-495 BibTeX
- Ashmeet Kaur, Ritu Soni:
Effect of Human Behavior in SDLC.
496-503 BibTeX
- Niloofar Khedri, Masoud Rahgozar, Mahmoud Reza Hashemi:
On the Role of Software Metrics in Applying Design Patterns.
504-510 BibTeX
- Fabio Perez Marzullo, Geraldo Xexéo:
A Qualitative Study on PATT - A Project Assessment and Tracking Tool.
511-517 BibTeX
- Weihu Hong, Mingshen Wu:
Computations with Large Numbers.
518-526 BibTeX
UML,
MDA,
...
- Matias Madou, Bertrand Anckaert, Bruno De Bus, Koen De Bosschere, Jan Cappaert, Bart Preneel:
On the Effectiveness of Source Code Transformations for Binary Obfuscation.
527-533 BibTeX
- Paul Nguyen, Robert Chun:
Model Driven Development with Interactive Use Cases and UML Models.
534-540 BibTeX
- Anil Khatri, Azene Zenebe, David Anyiwo:
Medical Informatics and Medical Databases Approach in Modeling Healthcare Education System with Unified Modeling Language (UML).
541-546 BibTeX
- Hongming Liu, Lizhang Qin, Xiaoping Jia, Adam Steele:
Model Transformation Based on Meta Templates.
547-553 BibTeX
- Fatemeh Alavizadeh, Marjan Sirjani:
Using UML to Develop Verifiable Reactive Systems.
554-561 BibTeX
- Simone A. B. Melo, Denivaldo Lopes, Zair Abdelouahab:
Developing Medical Information System with MDA and Web Services.
562-568 BibTeX
- Mohammad Alanazi, Jason Belt, David Gustafson:
UML Analysis Using State Diagrams.
569-576 BibTeX
Component Oriented Software Development
- Boto Bako, Andreas Borchert, Norbert Heidenbluth, Johannes Mayer:
Plugin-Based Systems with Self-Organized Hierarchical Presentation.
577-584 BibTeX
- Sergej Alekseev:
Algorithms for Optimally Tracing Time Critical Programs.
585-591 BibTeX
- Jiang Guo, Yuehong Liao, Xichun Pei:
Assessment of Component-Based Systems with Distributed Object Technologies.
592-598 BibTeX
- Yuehong Liao, Jiang Guo, Xichun Pei:
A Java Instrumentation-based Analysis Approach for the Dynamic Behaviors of J2EE Applications.
599-605 BibTeX
- Sana Ben Abdallah Ben Lamine, Lamia Labed Jilani, Henda Hajjami Ben Ghézala:
SoCoEMo-COTS: A Software Economic Model for Commercial Off-the-shelf (COTS) Based Software Development.
606-612 BibTeX
- James Tollerson, Hisham Haddad:
Conceptual Model for Integration of COTS Components.
613-619 BibTeX
- Jin Myung Choi, Sung Yul Rhew:
Process Component Plug-in Approach.
620-628 BibTeX
Formal Methods and Specification Languages,
and Language Design
- Vera Pantelic, Xiao-Hui Jin, Mark Lawford, David Lorge Parnas:
Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking.
629-635 BibTeX
- Hiroshi Ishikawa:
On a GUI-based Editor for Z Specifications and its Applications.
636-642 BibTeX
- Catherine Dubois, Jean-Marc Mota:
A Formally Verified Geometric Modelling Core.
643-649 BibTeX
- George Dimitoglou, Okan Duzyol, Lawrence Owusu:
Formal Verification of a Simple Automated Negotiation Protocol.
650-656 BibTeX
- Salem Y. Al-Agtash, Tamer Al-Dwairy, Adnan El-Nasan, Bruce Mull, Mamdouh Barakat, Anas Shqair:
Re-Engineering BLUE Financial System Using Round-Trip Engineering and Java Language Conversion Assistant.
657-663 BibTeX
- Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai:
A Base for Achieving Semantics for Prolog with Cut for Correct Observables.
664-670 BibTeX
- Yujing He:
Comparison of the Modeling Languages Alloy and UML.
671-677 BibTeX
- Paniti Netinant:
Supporting Separation of Concerns to Automation of Code Generation.
678-683 BibTeX
- Keum-Young Sung:
A Software Specification Language for RNA Pseudoknots.
684-687 BibTeX
- Ming Wang, Robert Chun:
The Intelligent C Language Debugger.
688-694 BibTeX
Case Study,
Usability Engineering,
and Education
Software Reliability Models and Risk Analysis
5th International Workshop on System/Software Architectures,
IWSSA'06
- Stijn Verstichel, Sofie Van Hoecke, Matthias Strobbe, Steven Van den Berghe, Filip De Turck, Frederik Vermeulen, Piet Demeester:
Ontology-Driven Middleware for Next-Generation Train Backbones.
743-749 BibTeX
- Manuel Noguera, Miguel González, José Luis Garrido, María Visitación Hurtado, María Luisa Rodríguez:
System Modeling for Systematic Development of Groupware Applications.
750-756 BibTeX
- Francisco Luis Gutiérrez Vela, José Luis Isla Montes, Patricia Paderewski, Miguel Sanchez:
Organization Modelling to Support Access Control for Collaborative Systems.
757-763 BibTeX
- Nary Subramanian, Lawrence Chung:
An NFR-Based Framework for Aligning Software Architectures with System Architectures.
764-770 BibTeX
- Chung-Horng Lung, Jianning Liu, Xiaoli Ling, Dan Jiang:
Architecture-Centric Program Transformation for Distributed Systems.
771-777 BibTeX
- Weimin Ma, Kendra Cooper, Lawrence Chung:
Component-Aware System Architecting: A Software Interoperability.
778-784 BibTeX
- Matthias Galster, Armin Eberlein, Mahmood Moussavi:
Position Paper: From Enterprise Architectures to Software Architectures using Requirements Engineering.
785-789 BibTeX
- Lirong Dai, Kendra Cooper:
Helping to Meet the Security Needs of Enterprises: Using FDAF to Build RBAC into Software Architectures.
790-796 BibTeX
- Michael Shin:
Modeling of Evolution to Secure Application System: from Requirements Model to Software Architecture.
797-803 BibTeX
- François Coallier, Roger Champagne:
An Enterprise Architecture Process Model.
804-810 BibTeX
- Masaki Murakami:
A Model of Access Control for Data Materials Based on Ambient Calculus.
811-820 BibTeX
Proceedings of PLC'06 - Data-Flow Analysis
Proceedings of PLC'06 - Code Optimization and Compiler Generation Techniques
- Masataka Sassa, Daijiro Sudosa:
Experience in Testing Compiler Optimizers Using Comparison Checking.
837-843 BibTeX
- Steve MacDonald, Jun Chen, Diego Novillo:
Deterministically Executing Concurrent Programs for Testing and Debugging.
844-850 BibTeX
- Zoltán László, Tibor Sulyán:
Compiler Generator for Creating MOF-compliant Source Code Models.
851-857 BibTeX
- Ian Lewis:
An Embedded Haskell Subset Implementation.
858-865 BibTeX
- Haiping Wu, Eunjung Park, Long Chen, Juan del Cuvillo, Guang R. Gao:
User-Friendly Methodology for Automatic Exploration of Compiler Options: A Case Study on the Intel XScale Microarchitecture.
866-872 BibTeX
- Haiping Wu, Long Chen, Joseph Manzano, Guang R. Gao:
A User-Friendly Methodology for Automatic Exploration of Compiler Options.
873-882 BibTeX
Proceedings of PLC'06 - Logic,
Functional,
Modeling,
New Programming Paradigms
Proceedings of PLC'06 - Register Allocation,
Memory Management,
and OO Techniques
Late Papers
- Andreas Stefik, Kelly Fitz, Roger Alexander:
Increasing Fault Detection Effectiveness Using Layered Program Auralization.
959-965 BibTeX
- Byron J. Williams, Jeffrey Carver, Rayford B. Vaughn:
Change Risk Assessment: Understanding Risks Involved in Changing Software Requirements.
966-971 BibTeX
- Pradeep Bhatia, Yogesh Singh:
Quantification Criteria for Optimization of Modules in OO Design.
972-979 BibTeX
- Bui Minh Duc:
SEN State Event Net, Proposal to Enrich the Arsenal of UML Dynamic Diagram.
980-987 BibTeX
- Amel Mammar:
A Formal Approach and its Tool Support for the Specification and the Verification of Structural Properties on UML Activity Diagrams.
988-994 BibTeX
- Joaquín Peña, Michael G. Hinchey, Manuel Resinas, Roy Sterritt, James L. Rash:
Managing the Evolution of an Enterprise Architecture Using a MAS-Product-Line Approach.
995-1001 BibTeX
- Ramón Puigjaner, Carlos Juiz, Pere P. Sancho, Isaac Lera, Borja Miñano:
Context-broker Service Architecture for AmI Systems through Mobile-agents and Ontologies.
1002-1008 BibTeX
- Pia Gustafsson, Åsa Lindström, Cecilia Jägerlind, Jevgenij Tsoi:
A Framework for Assessing Data Quality - From a Business Perspective.
1009-1015 BibTeX
- Donald M. Needham, Sean Jones:
An Improvement Algorithm for Safety-Critical Software.
1016-1022 BibTeX
- Pattarasinee Bhattarakosol, Warawut Pacharoen, Ladda Preechaveerakul:
An Agent-Based Design Software: A CSCW Model for Software Design Tool.
1023-1028 BibTeX
- Muhammad A. Khan, Stefan Fischer:
Towards Unmanaged Multimedia Adaptations using Automated Aspect Weaving.
1029-1032 BibTeX
- Pei Li Zhou, B. Z. Xu:
Visualization of Data Structure on MVC Framework.
1033-1040 BibTeX
- Kazuaki Maeda:
Reusable Parser Generation from Free and Open Source Compilers.
1041- BibTeX
Copyright © Sat May 16 23:37:41 2009
by Michael Ley (ley@uni-trier.de)
