CONTENT
Designing Reusable Aspects -- Interactive Synthesizer to Support Behavioral Modeling -- Web Applications -- Comparing Data Flow -- Finite State Verification -- Static Checking of Interrupt-Driven Software -- Lightweight Analysis of Operational Specifications Using Inference Graphs -- Software Process Improvement -- Global Software Development -- Software Product Lines -- Semantic and Structural Information -- Syllogistic Structure -- Systematic Object-Oriented Inspection -- Defect Estimation Models -- Reinspections in Software Development -- Formal Analysis Tools -- Architectural Tests Definition -- Encoding Program Executions -- Cal-Aggie Wrap-O-Matic Project -- Map Metaphor -- Source Code -- Frameworks and Layered Refinement -- Feedback Scheduling of Incremental and Design-to-time Tasks -- Test Case Prioritization -- Cluster Analysis -- IV & V in a Safety Critical and Complex Evolutionary Environment -- Software Reliability -- Topoi Diagrams -- LIDA -- Binary Decision Diagrams -- Scientific Rigour -- Heterogeneous Groupware Applications -- Computational Tapestry -- XAS -- Delta V -- Object-Oriented Open-Source 3D Multimedia Library -- Extreme Programming in a University Environment -- TIGRA -- Invited Industry Presentations -- Frontiers of Software Practice -- Panels -- Tutorials -- Workshops -- Doctoral Symposium -- Research Demonstrations
SUBJECT
-
Software engineering -- Congresses
-
|
Software maintenance -- Congresses
LOCATION | CALL# | STATUS |
---|
Central Library (4th Floor) | 005.1 I61P 2001 |
CHECK SHELVES
|