Software engineering research and applications : first international conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003 : selected revised papers /
Software engineering research and applications : first international conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003 : selected revised papers /
C.V. Ramamoorthy, Roger Y. Lee, Kyung Whan Lee, (eds.).
- Berlin ; New York : Springer, 2004.
- 1 online resource (xi, 375 pages) : illustrations
- Lecture notes in computer science, 3026 0302-9743 ; .
- Lecture notes in computer science ; 3026. .
Includes bibliographical references and index.
Keynote Addresses -- Balancing Agility and Discipline: A Guide for the Perplexed -- A Study of Feedback in Software Supported Networked Systems -- Invited Talks -- Why Great Organizations Are Great? The Art of Business -- Future of Computer Software Systems: Commodity or Service? -- An Exact Reliability Block Diagram Calculation Tool to Design Very Complex Systems -- Formal Methods -- Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications -- Analyzing Relationships to the Quality Level between CMM and Six Sigma -- Deterministic End-to-End Guarantees for Real-Time Applications in a DiffServ-MPLS Domain -- Component-Based Software Engineering -- Measuring and Communicating Component Reliability -- Toward Component-Based System: Using Static Metrics and Relationships in Object-Oriented System -- Communication Style Driven Connector Configurations -- A Study on the Specification for e-Business Agent Oriented Component Based Development -- Software Process Models -- Towards Efficient Management of Changes in XML-Based Software Documents -- Model-Based Project Process Analysis Using Project Tracking Data -- Software Testing and Quality Issues -- A COM-Based Customization Testing Technique -- Design Defect Trigger for Software Process Improvement -- Certification of Software Packages Using Hierarchical Classification -- An Automatic Test Data Generation System Based on the Integrated Classification-Tree Methodology -- Requirements Engineering, Reengineering, and Performance Analysis -- Normalizing Class Hierarchies Based on the Formal Concept Analysis -- QoS-Guaranteed DiffServ-Aware-MPLS Traffic Engineering with Controlled Bandwidth Borrowing -- Architecture Based Software Reengineering Approach for Transforming from Legacy System to Component Based System through Applying Design Patterns -- Knowledge Discovery and Artificial Intelligence -- Increasing the Efficiency of Cooperation among Agents by Sharing Actions -- Applying Model Checking Techniques to Game Solving -- A Fuzzy Logic-Based Location Management Method for Mobile Networks -- A Next Generation Intelligent Mobile Commerce System -- Database Retrieval and Human Computer Interaction -- Indexing XML Data for Path Expression Queries -- Improving Software Engineering Practice with HCI Aspects -- Software Security -- Reliability Assurance in Development Process for TOE on the Common Criteria.
This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Software Engineering Research and Applications, SERA 2003, held in San Francisco, CA, USA in June 2003. The 23 revised full papers presented were carefully selected from 104 initial submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on formal methods; component-based software engineering; software quality, requirements engineering, reengineering, and performance analysis; knowledge discovery and artificial intelligence; and database retrieval and human-computer interaction.
English.
9783540246756 3540246754 1280307455 9781280307454 9786610307456 6610307458
10.1007/b97161 doi
2004104592
Software engineering--Congresses.
Computer software--Development--Congresses.
Génie logiciel--Congrès.
Logiciels--Développement--Congrès.
Computer software--Development
Software engineering
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
QA76.758 / .S457 2003
005.1
Includes bibliographical references and index.
Keynote Addresses -- Balancing Agility and Discipline: A Guide for the Perplexed -- A Study of Feedback in Software Supported Networked Systems -- Invited Talks -- Why Great Organizations Are Great? The Art of Business -- Future of Computer Software Systems: Commodity or Service? -- An Exact Reliability Block Diagram Calculation Tool to Design Very Complex Systems -- Formal Methods -- Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications -- Analyzing Relationships to the Quality Level between CMM and Six Sigma -- Deterministic End-to-End Guarantees for Real-Time Applications in a DiffServ-MPLS Domain -- Component-Based Software Engineering -- Measuring and Communicating Component Reliability -- Toward Component-Based System: Using Static Metrics and Relationships in Object-Oriented System -- Communication Style Driven Connector Configurations -- A Study on the Specification for e-Business Agent Oriented Component Based Development -- Software Process Models -- Towards Efficient Management of Changes in XML-Based Software Documents -- Model-Based Project Process Analysis Using Project Tracking Data -- Software Testing and Quality Issues -- A COM-Based Customization Testing Technique -- Design Defect Trigger for Software Process Improvement -- Certification of Software Packages Using Hierarchical Classification -- An Automatic Test Data Generation System Based on the Integrated Classification-Tree Methodology -- Requirements Engineering, Reengineering, and Performance Analysis -- Normalizing Class Hierarchies Based on the Formal Concept Analysis -- QoS-Guaranteed DiffServ-Aware-MPLS Traffic Engineering with Controlled Bandwidth Borrowing -- Architecture Based Software Reengineering Approach for Transforming from Legacy System to Component Based System through Applying Design Patterns -- Knowledge Discovery and Artificial Intelligence -- Increasing the Efficiency of Cooperation among Agents by Sharing Actions -- Applying Model Checking Techniques to Game Solving -- A Fuzzy Logic-Based Location Management Method for Mobile Networks -- A Next Generation Intelligent Mobile Commerce System -- Database Retrieval and Human Computer Interaction -- Indexing XML Data for Path Expression Queries -- Improving Software Engineering Practice with HCI Aspects -- Software Security -- Reliability Assurance in Development Process for TOE on the Common Criteria.
This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Software Engineering Research and Applications, SERA 2003, held in San Francisco, CA, USA in June 2003. The 23 revised full papers presented were carefully selected from 104 initial submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on formal methods; component-based software engineering; software quality, requirements engineering, reengineering, and performance analysis; knowledge discovery and artificial intelligence; and database retrieval and human-computer interaction.
English.
9783540246756 3540246754 1280307455 9781280307454 9786610307456 6610307458
10.1007/b97161 doi
2004104592
Software engineering--Congresses.
Computer software--Development--Congresses.
Génie logiciel--Congrès.
Logiciels--Développement--Congrès.
Computer software--Development
Software engineering
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
QA76.758 / .S457 2003
005.1