Abstract is missing.
- A Study of the Impact of Requirements Volatility on Software Project PerformanceDidar Zowghi, Nur Nurmuliani. 3-11 [doi]
- Integrating Use-Case Analysis and Task Analysis for Interactive SystemsSoon-Kyeong Kim, David A. Carrington. 12-21 [doi]
- A Feasible User Story Tool for Agile Software Development?Michael J. Rees. 22 [doi]
- Results on Formal Stepwise Design in ZMoshe Deutsch, Martin C. Henson, Steve Reeves. 33-42 [doi]
- Refining Exceptions Using King and Morgan?s exit ConstructGeoffrey Watson. 43-51 [doi]
- Refining Object-Oriented Invariants and Dynamic ConstraintsJamie Shield, Ian J. Hayes. 52 [doi]
- Using Components to Increase Maintainability in a Large Telecommunication SystemHenrik Algestam, Marcus Offesson, Lars Lundberg. 65-73 [doi]
- Evaluating the Scalability of Enterprise JavaBeans TechnologyYan (Jenny) Liu, Ian Gorton, Anna Liu, Shiping Chen. 74-83 [doi]
- Performance of SOAP in Web Service Environment Compared to CORBARobert Elfwing, Ulf Paulsson, Lars Lundberg. 84 [doi]
- Towards a Taxonomy for Guiding Multimedia Application DevelopmentAnne Hannington, Karl Reed. 97-106 [doi]
- Extracting threads from concurrent objects for the design of embedded systemsMitsutaka Okazaki, Toshiaki Aoki, Takuya Katayama. 107-116 [doi]
- A nested invocation suppression mechanism for active replication fault-tolerant CORBADeron Liang, Chen-Liang Fang, Chyouhwa Chen, Fengyi Lin. 117 [doi]
- Formal Verification of mu-ChartsDoug Goldson. 129 [doi]
- Animation of Data RefinementsNeil J. Robinson, Colin J. Fidge. 137-146 [doi]
- Symbolic Simulation of Hybrid SystemsRalph-Johan Back, Cristina Cerschi Seceleanu, Jan Westerholm. 147 [doi]
- Embedding XML Processing Toolkit on General Purpose Programming LanguageTetsuo Kamina, Tetsuo Tamai. 159-166 [doi]
- A Software Engineering Approach to Constraint Programming SystemsKa Boon Ng, Chiu Wo Choi, Martin Henz. 167-175 [doi]
- A Virtual File System for Source Program EditingYoshida Atsushi, Fukuyasu Naoki. 176 [doi]
- A Quality Doctrine for Software: Do It Right the First TimeStephen E. Cross. 187 [doi]
- iBistro: A Learning Environment for Knowledge Construction in Distributed Software Engineering CoursesAndreas Braun, Allen H. Dutoit, Andreas Harrer, Bernd Brügge. 197-203 [doi]
- An Account and Appraisal of the Ongoing Development of the Software Engineering Volume of CC2001 and its International ApplicabilityJ. Barrie Thompson, Helen M. Edwards. 204-216 [doi]
- Behavioural Analysis of Component Framework with Multi-Valued Transition SystemShin Nakajima. 217-226 [doi]
- Abstraction and Flow Analysis for Model Checking Open Asynchronous SystemsNatalia Ioustinova, Natalia Sidorova, Martin Steffen. 227 [doi]
- Automatic Filling in a Form by an Agent for Web ApplicationsTakeshi Chusho, Katsuya Fujiwara, Keiji Minamitani. 239-247 [doi]
- A Recommendation System for Software Function DiscoveryNaoki Ohsugi, Akito Monden, Ken-ichi Matsumoto. 248 [doi]
- Lessons Learned in Framework-Based Software Process ImprovementPankaj Jalote. 261 [doi]
- e-Science Experiences: Software Engineering Practice and the EU DataGridLee Momtahan, Andrew Martin. 269-275 [doi]
- On Aspect-Oriented Software Architecture: It Implies a Process as Well as a ProductMasami Noro, Atsushi Kumazaki. 276-285 [doi]
- An Approach to Software Architecture Evaluation with the 4+1 View Model of ArchitectureHeeseok Choi, Keunhyuk Yeom. 286 [doi]
- Contextual Matching of Software Library ComponentsColin J. Fidge. 297-306 [doi]
- Computer-aided programming using formally specified design templatesDavid Hemer. 307-316 [doi]
- Finite-State Modeling in Software Design: Some Fundamental TechniquesSukhamay Kundu. 317 [doi]
- On Detection of Gapped Code Clones using Gap LocationsYasushi Ueda, Toshihiro Kamiya, Shinji Kusumoto, Katsuro Inoue. 327-336 [doi]
- An Automated Refactoring Approach to Design Pattern-Based Program Transformations in Java ProgramsSang-Uk Jeon, Joon-Sang Lee, Doo-Hwan Bae. 337 [doi]
- Quality Driven Transformation Compositions for Object Oriented MigrationYing Zou, Kostas Kontogiannis. 346 [doi]
- Tool Interfacing Mechanisms for Programming-for-the-Large and Programming-for-the-SmallYun Yang. 359-365 [doi]
- The Real World Software ProcessJames M. Hogan, Glenn Smith, Richard Thomas. 366-375 [doi]
- A Metal Model Approach using UML for Task Assignment Policy in Software ProcessSeungjin Lee, Junho Shim, Chisu Wu. 376 [doi]
- Feature Logics and RefinementMarc Aiguier, Christophe Gaston, Pascale Le Gall. 385 [doi]
- Formal Synthesis and Code Generation of Real-Time Embedded Software using Time-Extended Quasi-Static SchedulingPao-Ann Hsiung, Trong-Yen Lee, Feng-Shi Su. 395-404 [doi]
- Specifying and Reasoning about Generic Architecture in TCOZJing Sun, Jin Song Dong. 405 [doi]
- XML Web Services Automation: A Software Engineering ApproachNicholas Nicoloudis, Christine Mingins. 417-424 [doi]
- Defining Attribute Templates for Descriptions of Distributed ServicesChayan Tapabut, Twittie Senivongse, Kokichi Futatsugi. 425-434 [doi]
- A Predictive Performance Model to Evaluate the Contention Cost in Application ServersShiping Chen, Ian Gorton. 435 [doi]
- Software Engineering Professionalism: Is There a Global Dimension To This?J. Barrie Thompson. 443 [doi]
- Deriving Verification Conditions and Program Assertions to Support Software InspectionDaniel Powell. 447-456 [doi]
- An Interaction Testing Technique between Hardware and Software in Embedded SystemsAhyoung Sung, Byoungju Choi. 457-464 [doi]
- Data Coverage TestingPonrudee Netisopakul, Lee J. White, John Morris. 465 [doi]
- Proposal of a Supporting Method for Diagrams Generation with the Transformation Rules in UMLTetsuro Katayama. 475-484 [doi]
- Design of Rules for Transforming UML Sequence Diagrams into Java codeMathupayas Thongmak, Pornsiri Muenchaisri. 485 [doi]
- Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into BHung Ledang, Jeanine Souquières. 495 [doi]
- The Java Metrics Reporter- An Extensible Tool for 00 Software AnalysisJaspar Cahill, James M. Hogan, Richard Thomas. 507-516 [doi]
- A Measurement Based Comparative Evaluation of Effectiveness of Object-Oriented Versus Conventional Procedural Programming Techniques and LanguagesAftab Ahmad, Muhammad Talha. 517-526 [doi]
- Issues in the construction of new measures within the discipline of Open SystemsJohn Leaney, David Rowe, Tim O Neill. 527 [doi]
- Has Twenty-five Years of Empirical Software Engineering Made a Difference?D. Ross Jeffery, Louise Scott. 539 [doi]
- Theme-Based Literate ProgrammingAndreas Kacofegitis, Neville Churcher. 549-557 [doi]
- Production and Maintenance of System Documentation: What, Why, When and How Tools Should Support the PracticeShahida Sulaiman, Norbik Bashah Idris, Shamsul Sahibuddin. 558 [doi]
- A communication workload estimation model based on relationships among shared works for software development projectsNoriko Hanakawa, Ken-ichi Matsumoto, Koji Torii. 571-580 [doi]
- Using Process Simulation to Compare Scheduling Strategies for Software ProjectsFrank Padberg. 581 [doi]
- An Agent-Based Framework for Petroleum Information Services from Distributed Heterogeneous Data ResourcesChengqi Zhang, Chunsheng Li, Zili Zhang. 593-602 [doi]
- A Process-Centred Experience Repository for a Small Software OrganisationLouise Scott, Lucila Carvalho, D. Ross Jeffery. 603-610 [doi]