![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
SERP 2006: Las Vegas, Nevada, USA
- Hamid R. Arabnia, Hassan Reza:
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
Software Metrics, Configuration and Project Management
- Kuangnan Chang, Bobby Adkins:
Virus Removal Cost (VRC) Metric. Software Engineering Research and Practice 2006: 469-473 - Paul Whitney, Christian Posse, Xingye Lei:
Towards an Extendable Software System for Information Integration. Software Engineering Research and Practice 2006: 474-481 - Paulo Sousa:
A Workbench for Learning Enterprise Patterns. Software Engineering Research and Practice 2006: 482-488 - Shazia Arshad, Muhammad Shoaib, Abad Shah:
Web Metrics: The way of improvement of quality of Non web-based systems. Software Engineering Research and Practice 2006: 489-495 - Ashmeet Kaur, Ritu Soni:
Effect of Human Behavior in SDLC. Software Engineering Research and Practice 2006: 496-503 - Niloofar Khedri, Masoud Rahgozar, Mahmoud Reza Hashemi:
On the Role of Software Metrics in Applying Design Patterns. Software Engineering Research and Practice 2006: 504-510 - Fabio Perez Marzullo, Geraldo Xexéo:
A Qualitative Study on PATT - A Project Assessment and Tracking Tool. Software Engineering Research and Practice 2006: 511-517 - Weihu Hong, Mingshen Wu:
Computations with Large Numbers. Software Engineering Research and Practice 2006: 518-526
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. Software Engineering Research and Practice 2006: 527-533 - Paul Nguyen, Robert Chun:
Model Driven Development with Interactive Use Cases and UML Models. Software Engineering Research and Practice 2006: 534-540 - Anil Khatri, Azene Zenebe, David Anyiwo:
Medical Informatics and Medical Databases Approach in Modeling Healthcare Education System with Unified Modeling Language (UML). Software Engineering Research and Practice 2006: 541-546 - Hongming Liu, Lizhang Qin, Xiaoping Jia, Adam Steele:
Model Transformation Based on Meta Templates. Software Engineering Research and Practice 2006: 547-553 - Fatemeh Alavizadeh, Marjan Sirjani:
Using UML to Develop Verifiable Reactive Systems. Software Engineering Research and Practice 2006: 554-561 - Simone A. B. Melo, Denivaldo Lopes, Zair Abdelouahab:
Developing Medical Information System with MDA and Web Services. Software Engineering Research and Practice 2006: 562-568 - Mohammad Alanazi, Jason Belt, David Gustafson:
UML Analysis Using State Diagrams. Software Engineering Research and Practice 2006: 569-576
Component Oriented Software Development
- Boto Bako, Andreas Borchert, Norbert Heidenbluth, Johannes Mayer:
Plugin-Based Systems with Self-Organized Hierarchical Presentation. Software Engineering Research and Practice 2006: 577-584 - Sergej Alekseev:
Algorithms for Optimally Tracing Time Critical Programs. Software Engineering Research and Practice 2006: 585-591 - Jiang Guo, Yuehong Liao, Xichun Pei:
Assessment of Component-Based Systems with Distributed Object Technologies. Software Engineering Research and Practice 2006: 592-598 - Yuehong Liao, Jiang Guo, Xichun Pei:
A Java Instrumentation-based Analysis Approach for the Dynamic Behaviors of J2EE Applications. Software Engineering Research and Practice 2006: 599-605 - 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. Software Engineering Research and Practice 2006: 606-612 - James Tollerson, Hisham Haddad:
Conceptual Model for Integration of COTS Components. Software Engineering Research and Practice 2006: 613-619 - Jin Myung Choi, Sung Yul Rhew:
Process Component Plug-in Approach. Software Engineering Research and Practice 2006: 620-628
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. Software Engineering Research and Practice 2006: 629-635 - Hiroshi Ishikawa:
On a GUI-based Editor for Z Specifications and its Applications. Software Engineering Research and Practice 2006: 636-642 - Catherine Dubois, Jean-Marc Mota:
A Formally Verified Geometric Modelling Core. Software Engineering Research and Practice 2006: 643-649 - George Dimitoglou, Okan Duzyol, Lawrence Owusu:
Formal Verification of a Simple Automated Negotiation Protocol. Software Engineering Research and Practice 2006: 650-656 - 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. Software Engineering Research and Practice 2006: 657-663 - Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai:
A Base for Achieving Semantics for Prolog with Cut for Correct Observables. Software Engineering Research and Practice 2006: 664-670 - Yujing He:
Comparison of the Modeling Languages Alloy and UML. Software Engineering Research and Practice 2006: 671-677 - Paniti Netinant:
Supporting Separation of Concerns to Automation of Code Generation. Software Engineering Research and Practice 2006: 678-683 - Keum-Young Sung:
A Software Specification Language for RNA Pseudoknots. Software Engineering Research and Practice 2006: 684-687 - Ming Wang, Robert Chun:
The Intelligent C Language Debugger. Software Engineering Research and Practice 2006: 688-694
Case Study, Usability Engineering, and Education
- Karsten Nebe, Lennart Grötzbach, Ronald Hartwig:
Integrating User Centered Design in a Product Development Lifecycle Process: A Case Study. Software Engineering Research and Practice 2006: 695-701 - Hongxing Lu, Xiaohong (Sophie) Wang:
Learner-centered Technical Review in Programming Courses. Software Engineering Research and Practice 2006: 702-709 - Kalyana Gundamaraju, Michael S. Wainer:
Development of an Ant Script Builder with Thought to Usability and Best Practices. Software Engineering Research and Practice 2006: 710-716 - Donald Schwartz, Jonathan F. Spencer, Adam Huffman:
Service Learning, Software Engineering, and Hurricane Katrina - A Case Study. Software Engineering Research and Practice 2006: 717-720 - Saby Tavales, Sotiris Skevoulis:
Podcasts: Changing the Face of e-Learning. Software Engineering Research and Practice 2006: 721-726
Software Reliability Models and Risk Analysis
- Donald M. Needham, Sean Jones:
Supporting Software Fault Tree Analysis Using a Key Node Metric. Software Engineering Research and Practice 2006: 727-733 - Maureen Ann Raley, Letha H. Etzkorn:
Metrics in Risk Determination for Large-Scale Distributed Systems Maintenance. Software Engineering Research and Practice 2006: 734-742
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. Software Engineering Research and Practice 2006: 743-749 - 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. Software Engineering Research and Practice 2006: 750-756 - Francisco Luis Gutiérrez Vela, José Luis Isla Montes, Patricia Paderewski, Miguel Sánchez:
Organization Modelling to Support Access Control for Collaborative Systems. Software Engineering Research and Practice 2006: 757-763 - Nary Subramanian, Lawrence Chung:
An NFR-Based Framework for Aligning Software Architectures with System Architectures. Software Engineering Research and Practice 2006: 764-770 - Chung-Horng Lung, Jianning Liu, Xiaoli Ling, Dan Jiang:
Architecture-Centric Program Transformation for Distributed Systems. Software Engineering Research and Practice 2006: 771-777 - Weimin Ma, Kendra M. L. Cooper, Lawrence Chung:
Component-Aware System Architecting: A Software Interoperability. Software Engineering Research and Practice 2006: 778-784 - Matthias Galster, Armin Eberlein, Mahmood Moussavi:
Position Paper: From Enterprise Architectures to Software Architectures using Requirements Engineering. Software Engineering Research and Practice 2006: 785-789 - Lirong Dai, Kendra M. L. Cooper:
Helping to Meet the Security Needs of Enterprises: Using FDAF to Build RBAC into Software Architectures. Software Engineering Research and Practice 2006: 790-796 - Michael Shin:
Modeling of Evolution to Secure Application System: from Requirements Model to Software Architecture. Software Engineering Research and Practice 2006: 797-803 - François Coallier, Roger Champagne:
An Enterprise Architecture Process Model. Software Engineering Research and Practice 2006: 804-810 - Masaki Murakami:
A Model of Access Control for Data Materials Based on Ambient Calculus. Software Engineering Research and Practice 2006: 811-820
Proceedings of PLC'06 - Data-Flow Analysis
- Jason W. A. Selby, Mark Giesbrecht:
A Fine-Grained Analysis of the Performance and Power Benefits of Compiler Optimizations for Embedded Devices. Software Engineering Research and Practice 2006: 821-827 - Bageshri Sathe, Uday P. Khedker:
Complexity of Data Flow Analysis for Non-Separable Frameworks. Software Engineering Research and Practice 2006: 828-836
Proceedings of PLC'06 - Code Optimization and Compiler Generation Techniques
- Masataka Sassa, Daijiro Sudosa:
Experience in Testing Compiler Optimizers Using Comparison Checking. Software Engineering Research and Practice 2006: 837-843 - Steve MacDonald, Jun Chen, Diego Novillo:
Deterministically Executing Concurrent Programs for Testing and Debugging. Software Engineering Research and Practice 2006: 844-850 - Zoltán László, Tibor Sulyán:
Compiler Generator for Creating MOF-compliant Source Code Models. Software Engineering Research and Practice 2006: 851-857 - Ian Lewis:
An Embedded Haskell Subset Implementation. Software Engineering Research and Practice 2006: 858-865 - 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. Software Engineering Research and Practice 2006: 866-872 - Haiping Wu, Long Chen, Joseph B. Manzano, Guang R. Gao:
A User-Friendly Methodology for Automatic Exploration of Compiler Options. Software Engineering Research and Practice 2006: 873-882
Proceedings of PLC'06 - Logic, Functional, Modeling, New Programming Paradigms
- Guillaume Autran, Xining Li:
Implementation of Tag Representation in Prolog Virtual Machine. Software Engineering Research and Practice 2006: 883-889 - Khubaib Ahmed Qureshi, M. Zeeshan Ali Ansari:
XML Markup Languages Framework for Programming in 21st Century towards Managed Software Engineering. Software Engineering Research and Practice 2006: 890-895 - Marco T. Morazán, Barbara Mucha:
Improved Graph-Based Lambda Lifting. Software Engineering Research and Practice 2006: 896-902 - Andrea Röck, Ray Kresman:
On Petri Nets and Predicate-Transition Nets. Software Engineering Research and Practice 2006: 903-909 - James Gil de Lamadrid, Jill Zimmerman:
IncH: An Incremental Compiler for a Functional Language. Software Engineering Research and Practice 2006: 910-915 - Paniti Netinant:
Extensible and Adaptable System Software. Software Engineering Research and Practice 2006: 916-924
Proceedings of PLC'06 - Register Allocation, Memory Management, and OO Techniques
- Sunil Soman, Chandra Krintz:
Efficient and General On-Stack Replacement for Aggressive Program Specialization. Software Engineering Research and Practice 2006: 925-932 - Yolanda Becerra, Jordi Garcia, Toni Cortes, Nacho Navarro:
Java Virtual Machine: the key for accurated memory prefetching. Software Engineering Research and Practice 2006: 933-939 - Emil Vassev, Joey Paquet:
Evaluation Issues in Generic Programming with Inheritance and Templates in C++. Software Engineering Research and Practice 2006: 940-944 - Ye Henry Tian:
String Concatenation Optimization on Java Bytecode. Software Engineering Research and Practice 2006: 945-951 - Emil Vassev, Joey Paquet:
Aspects of Memory Management in Java and C++. Software Engineering Research and Practice 2006: 952-958
Late Papers
- Andreas Stefik, Kelly Fitz, Roger T. Alexander:
Increasing Fault Detection Effectiveness Using Layered Program Auralization. Software Engineering Research and Practice 2006: 959-965 - Byron J. Williams, Jeffrey C. Carver, Rayford B. Vaughn:
Change Risk Assessment: Understanding Risks Involved in Changing Software Requirements. Software Engineering Research and Practice 2006: 966-971 - Pradeep Kumar Bhatia, Yogesh Singh:
Quantification Criteria for Optimization of Modules in OO Design. Software Engineering Research and Practice 2006: 972-979 - Bui Minh Duc:
SEN State Event Net, Proposal to Enrich the Arsenal of UML Dynamic Diagram. Software Engineering Research and Practice 2006: 980-987 - Amel Mammar:
A Formal Approach and its Tool Support for the Specification and the Verification of Structural Properties on UML Activity Diagrams. Software Engineering Research and Practice 2006: 988-994 - 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. Software Engineering Research and Practice 2006: 995-1001 - 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. Software Engineering Research and Practice 2006: 1002-1008 - Pia Gustafsson, Åsa Lindström, Cecilia Jägerlind, Jevgenij Tsoi:
A Framework for Assessing Data Quality - From a Business Perspective. Software Engineering Research and Practice 2006: 1009-1015 - Donald M. Needham, Sean Jones:
An Improvement Algorithm for Safety-Critical Software. Software Engineering Research and Practice 2006: 1016-1022 - Pattarasinee Bhattarakosol, Warawut Pacharoen, Ladda Preechaveerakul:
An Agent-Based Design Software: A CSCW Model for Software Design Tool. Software Engineering Research and Practice 2006: 1023-1028 - Muhammad A. Khan, Stefan Fischer:
Towards Unmanaged Multimedia Adaptations using Automated Aspect Weaving. Software Engineering Research and Practice 2006: 1029-1032 - Pei Li Zhou, B. Z. Xu:
Visualization of Data Structure on MVC Framework. Software Engineering Research and Practice 2006: 1033-1040 - Kazuaki Maeda:
Reusable Parser Generation from Free and Open Source Compilers. Software Engineering Research and Practice 2006: 1041-
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.