Abstract is missing.
- Advanced OO Modeling: Metamodels and NotationsBrian Henderson-Sellers. 2 [doi]
- Beyond RUPBrian Henderson-Sellers. 3 [doi]
- Survivability Analysis of Networked Systems Jeannette M. Wing. 6-7 [doi]
- Co-development of real-time systems and their simulation environmentsKyo Chul Kang, Ji Y. Lee, Hye J. Kim. 8-15 [doi]
- Reasoning about real-time programs using idle-invariant assertionsIan J. Hayes. 16-23 [doi]
- Pareto-based soft real-time task scheduling in multiprocessor systemsJaewon Oh, Hyokyung Bahn, Chris Wu, Kern Koh. 24 [doi]
- Transatlantic project courses in a university environmentBernd Brügge, Allen H. Dutoit, Rafael Kobylinski, Günter Teubner. 30-37 [doi]
- Supporting collaboration in distributed software engineering teamsPaul J. Layzell, Pearl Brereton, A. French. 38-45 [doi]
- Bloodshot eyes: workload issues in computer science project coursesJudy Brown. 46 [doi]
- The LAST project: development of a formal method for IS-specification and of a CASE-tool for IS-designJesús Manuel Almendros-Jiménez, Luis González-Jiménez. 54-61 [doi]
- A process logic for distributed system synthesis Yoshinao Isobe, Kazuhito Ohmaki. 62-69 [doi]
- Unifying theories of healthiness conditionJifeng He, C. A. R. Hoare. 70 [doi]
- Verification of a wireless ATM medium-access protocolNatalia Sidorova, Martin Steffen. 84-91 [doi]
- Monitoring facilities in languages supporting development of concurrent self-measurement programsYusuke Nonaka, Kazuo Ushijima, Jingde Cheng. 92-99 [doi]
- Evaluation of inspectors defect estimation accuracy for a requirements document after individual inspectionStefan Biffl, Thomas Grechenig, Monika Köhle. 100 [doi]
- The concept of path-closed subsets and its use in software functional designSukhamay Kundu. 112-119 [doi]
- Pragmatic data modelling and design for end usersClare Churcher, Theresa McLennan, Alan McKinnon. 120-126 [doi]
- Requirements engineering and strategic decision exploration: an area for interdisciplinary researchNikolay Mehandjiev, Craig Gaskell. 127 [doi]
- Building Formal Models for Software RequirementsAxel van Lamsweerde. 134 [doi]
- Analysis of the impact of reading technique and inspector capability on individual inspection performanceStefan Biffl. 136-145 [doi]
- Deriving test cases using class vectorsKarl R. P. H. Leung, Wai Wong. 146-153 [doi]
- Checking compositions of UML sequence diagrams for timing inconsistencyXuandong Li, Johan Lilius. 154-161 [doi]
- Consistency checks for UMLPadmanabhan Krishnan. 162 [doi]
- The support tool for highly reliable component-based software developmentMichihiro Matsumoto, Kokichi Futatsugi. 172-179 [doi]
- Formal specification of Catalysis frameworksJuliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills. 180-187 [doi]
- A distributed component architecture for a large telecommunication applicationHenrik Hermansson, Mattias Johansson, Lars Lundberg. 188-195 [doi]
- Accessing software component documentation during design: an observational studyAmnart Pohthong, David Budgen. 196 [doi]
- A framework of requirements tracing using UMLToshihiko Tsumaki, Yoshitomi Morisawa. 206-213 [doi]
- Service-based software: the future for flexible softwareKeith H. Bennett, Paul J. Layzell, David Budgen, Pearl Brereton, Linda A. Macaulay, Malcolm Munro. 214-221 [doi]
- Translating descriptions of a viewpoint among different representationsNigel Stanger. 222-229 [doi]
- Fuzzy concepts and formal methods: some illustrative examplesChris Matthews, Paul A. Swatman. 230 [doi]
- An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case studySoon-Kyeong Kim, David A. Carrington. 240-248 [doi]
- A semantic model of a small typed functional language using Object-ZWoonKiong Tan. 249-257 [doi]
- mu-Charts and Z: examples and extensionsGreg Reeve, Steve Reeves. 258 [doi]
- Fusing ambiguous domain knowledge slices in a reverse engineering processYang Li, Hongji Yang, William C. Chu. 266-273 [doi]
- A formal approach to program modificationLindsay Groves. 274-281 [doi]
- A comparative evaluation of techniques for syntactic level source code analysisAnthony Cox, Charles L. A. Clarke. 282 [doi]
- A case study of horizontal reuse in a project-driven organisationHenrik Bærbak Christensen, Henrik Røn. 292-298 [doi]
- PMF/GRIP a framework for the development and implementation of reuse modelsVolker H. Schroeter. 299-310 [doi]
- An adaptive distributed workflow system frameworkMartin K. Purvis, Maryam Purvis, Selena Lemalu. 311 [doi]
- Goal based agent-oriented software modelingKenha Park, Jintae Kim, Sooyong Park. 320-324 [doi]
- Issues in object orienting the ST Microelectronics manufacturing modelVincenza Carchiolo, S. D ambra, Alessandro Longheu, Michele Malgeri. 325-329 [doi]
- Extending Statecharts with ad lib and multi-thread featuresKarl R. P. H. Leung. 330 [doi]
- Enterprise modeling using class and instance modelsRakesh Agarwal, Giorgio Bruno, Marco Torchiano. 336-343 [doi]
- CIMO - Component Integration MOdelYan Xia, Anthony Tung Shuen Ho, Yucheng Zhang. 344-348 [doi]
- Component-based application development on architecture of a model, UI and componentsTakeshi Chusho, Hisashi Ishigure, Naoyuki Konda, Tomoaki Iwata. 349 [doi]
- Tailoring test process by using the component-based development paradigm and the XML technologyJooyoung Seo, Byoungju Choi. 356-363 [doi]
- Reusable integrated components of inter-related patterns for software developmentD. Janaki Ram, M. Sreekanth. 364-371 [doi]
- Component-based software engineering: technologies, development frameworks, and quality assurance schemesXia Cai, Michael R. Lyu, Kam-Fai Wong, Roy Ko. 372 [doi]
- Experiences in Systems Evolution: Practical Aspects and Cautionary TalesGene F. Hoffnagle. 382 [doi]
- Selecting an object-oriented process for student analystsGay Costain. 384-391 [doi]
- An education support system of information system design and implementation and lessons learned from its applicationAtsuo Hazeyama, Keiji Osada, Youzou Miyadera, Setsuo Yokoyama. 392-396 [doi]
- Implementation of a software engineering course for computer science studentsIvica Crnkovic, Magnus Larsson, Frank Lüders. 397-401 [doi]
- A preliminary comparison of computer mediated training toolsJ. Paynter, J. Ong, L. Frazer. 402 [doi]
- Behavioral specification of GOF design patterns with LOTOSMotoshi Saeki. 408-415 [doi]
- Combining case-based and model-based reasoning: a formal specificationLi Shuguang, Jiang Qing, Chris George. 416-420 [doi]
- A GUI and testing tool for SOFLShaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto. 421 [doi]
- Third generation OO processes: a critique of RUP and OPEN from a project management perspectiveBrian Henderson-Sellers, Richard Dué, Ian M. Graham, Graham Collins. 428-435 [doi]
- Creating a process for transitioning to object technologyBrian Henderson-Sellers, M. K. Serour. 436-440 [doi]
- A framework for risk analysis in software engineeringGeoffrey G. Roy, Terence L. Woodings. 441 [doi]
- Virtual worlds for Web site visualisationDanita Hartley, Neville Churcher, Greg Albertson. 448-455 [doi]
- Predicting class libraries interface evolution: an investigation into machine learning approachesHouari A. Sahraoui, Mounir Boukadoum, Hakim Lounis, Frédéric Ethève. 456-464 [doi]
- Coherence equals cohesion-or does it?Vojislav B. Misic. 465 [doi]
- Visualising the influence of data structure choice on the performance of a distributed database systemClare Churcher, Alan McKinnon, Roger Jarquin. 472-479 [doi]
- Platforms for agent-oriented software engineeringMariusz Nowostawski, Geoff Bush, Martin K. Purvis, Stephen Cranefield. 480-488 [doi]
- A study on static analysis in network of synchronizing FSMsJessica Chen. 489-493 [doi]