Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th APSEC 2000: Singapore
- 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore. IEEE Computer Society 2000, ISBN 0-7695-0915-0
Tutorials
- Brian Henderson-Sellers:
Advanced OO Modeling: Metamodels and Notations. 2 - Brian Henderson-Sellers:
Beyond RUP. 3-
Keynote I
- Jeannette M. Wing:
Survivability Analysis of Networked Systems . 6-7
Real-Time
- Kyo Chul Kang, Ji Y. Lee, Hye J. Kim:
Co-development of real-time systems and their simulation environments. 8-15 - Ian J. Hayes
:
Reasoning about real-time programs using idle-invariant assertions. 16-23 - Jaewon Oh, Hyokyung Bahn, Chris Wu, Kern Koh:
Pareto-based soft real-time task scheduling in multiprocessor systems. 24-
Software Engineering: Education & Practice I
- Bernd Brügge, Allen H. Dutoit, Rafael Kobylinski, Günter Teubner:
Transatlantic project courses in a university environment. 30-37 - Paul J. Layzell, Pearl Brereton, Andrew French:
Supporting collaboration in distributed software engineering teams. 38-45 - Judy Brown:
Bloodshot eyes: workload issues in computer science project courses. 46-
Formal Methods I
- Jesús Manuel Almendros-Jiménez, Luis González-Jiménez:
The LAST project: development of a formal method for IS-specification and of a CASE-tool for IS-design. 54-61 - Yoshinao Isobe, Kazuhito Ohmaki:
A process logic for distributed system synthesis . 62-69 - Jifeng He, C. A. R. Hoare:
Unifying theories of healthiness condition. 70-
Software Reliability
- Natalia Sidorova, Martin Steffen:
Verification of a wireless ATM medium-access protocol. 84-91 - Yusuke Nonaka, Kazuo Ushijima, Jingde Cheng:
Monitoring facilities in languages supporting development of concurrent self-measurement programs. 92-99 - Stefan Biffl, Thomas Grechenig, Monika Köhle:
Evaluation of inspectors' defect estimation accuracy for a requirements document after individual inspection. 100-
Analysis/Design I
- Sukhamay Kundu:
The concept of path-closed subsets and its use in software functional design. 112-119 - Clare Churcher, Theresa McLennan, Alan McKinnon:
Pragmatic data modelling and design for end users. 120-126 - Nikolay Mehandjiev, Craig Gaskell:
Requirements engineering and strategic decision exploration: an area for interdisciplinary research. 127-
Keynote II
- Axel van Lamsweerde:
Building Formal Models for Software Requirements. 134-
Testing/Verification
- Stefan Biffl:
Analysis of the impact of reading technique and inspector capability on individual inspection performance. 136-145 - Karl R. P. H. Leung, Wai Wong:
Deriving test cases using class vectors. 146-153 - Xuandong Li, Johan Lilius:
Checking compositions of UML sequence diagrams for timing inconsistency. 154-161 - Padmanabhan Krishnan:
Consistency checks for UML. 162-
Component Based Development
- Michihiro Matsumoto, Kokichi Futatsugi:
The support tool for highly reliable component-based software development. 172-179 - Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills:
Formal specification of Catalysis frameworks. 180-187 - Henrik Hermansson, Mattias Johansson, Lars Lundberg:
A distributed component architecture for a large telecommunication application. 188-195 - Amnart Pohthong, David Budgen:
Accessing software component documentation during design: an observational study. 196-
Requirements Engineering
- Toshihiko Tsumaki, Yoshitomi Morisawa:
A framework of requirements tracing using UML. 206-213 - Keith H. Bennett, Paul J. Layzell, David Budgen, Pearl Brereton, Linda A. Macaulay, Malcolm Munro:
Service-based software: the future for flexible software. 214-221 - Nigel Stanger:
Translating descriptions of a viewpoint among different representations. 222-229 - Chris Matthews, Paul A. Swatman:
Fuzzy concepts and formal methods: some illustrative examples. 230-
UML/Object-Z/Z
- Soon-Kyeong Kim, David A. Carrington:
An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study. 240-248 - WoonKiong Tan:
A semantic model of a small typed functional language using Object-Z. 249-257 - Greg Reeve, Steve Reeves:
mu-Charts and Z: examples and extensions. 258-
Software Maintenance
- Yang Li, Hongji Yang, William C. Chu:
Fusing ambiguous domain knowledge slices in a reverse engineering process. 266-273 - Lindsay Groves:
A formal approach to program modification. 274-281 - Anthony Cox, Charles Clarke:
A comparative evaluation of techniques for syntactic level source code analysis. 282-
Architecture Framework I
- Henrik Bærbak Christensen, Henrik Røn:
A case study of horizontal reuse in a project-driven organisation. 292-298 - Volker H. Schroeter:
PMF/GRIP a framework for the development and implementation of reuse models. 299-310 - Martin K. Purvis, Maryam Purvis, Selena Lemalu:
An adaptive distributed workflow system framework. 311-
Analysis/Design II
- Kenha Park, Jintae Kim, Sooyong Park:
Goal based agent-oriented software modeling. 320-324 - Vincenza Carchiolo, Sebastiano D'Ambra, Alessandro Longheu, Michele Malgeri:
Issues in object orienting the ST Microelectronics manufacturing model. 325-329 - Karl R. P. H. Leung:
Extending Statecharts with ad lib and multi-thread features. 330-
Architecture Framework II
- Rakesh Agarwal, Giorgio Bruno, Marco Torchiano:
Enterprise modeling using class and instance models. 336-343 - Yan Xia, Anthony Tung Shuen Ho, YuCheng Zhang:
CIMO - Component Integration MOdel. 344-348 - Takeshi Chusho, Hisashi Ishigure, Naoyuki Konda, Tomoaki Iwata:
Component-based application development on architecture of a model, UI and components. 349-
Component Based Development
- Jooyoung Seo, Byoungju Choi:
Tailoring test process by using the component-based development paradigm and the XML technology. 356-363 - D. Janaki Ram, M. Sreekanth:
Reusable integrated components of inter-related patterns for software development. 364-371 - Xia Cai, Michael R. Lyu, Kam-Fai Wong, Roy Ko:
Component-based software engineering: technologies, development frameworks, and quality assurance schemes. 372-
Keynote III
- Gene F. Hoffnagle:
Experiences in Systems Evolution: Practical Aspects and Cautionary Tales. 382-
Software Engineering: Education & Practice II
- Gay Costain:
Selecting an object-oriented process for student analysts. 384-391 - Atsuo Hazeyama, Keiji Osada, Youzou Miyadera, Setsuo Yokoyama:
An education support system of information system design and implementation and lessons learned from its application. 392-396 - Ivica Crnkovic, Magnus Larsson, Frank Lüders:
Implementation of a software engineering course for computer science students. 397-401 - John Paynter, Jenny Ong, Lorelle Frazer:
A preliminary comparison of computer mediated training tools. 402-
Formal Methods II
- Motoshi Saeki:
Behavioral specification of GOF design patterns with LOTOS. 408-415 - Shuguang Li, Qing Jiang, Chris George:
Combining case-based and model-based reasoning: a formal specification. 416-420 - Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto:
A GUI and testing tool for SOFL. 421-
Software Process
- Brian Henderson-Sellers, Richard Dué, Ian M. Graham, Graham Collins:
Third generation OO processes: a critique of RUP and OPEN from a project management perspective. 428-435 - Brian Henderson-Sellers, M. K. Serour:
Creating a process for transitioning to object technology. 436-440 - Geoffrey G. Roy, Terence L. Woodings:
A framework for risk analysis in software engineering. 441-
Software Metrics
- Danita Hartley, Neville Churcher, Greg Albertson:
Virtual worlds for Web site visualisation. 448-455 - Houari A. Sahraoui, Mounir Boukadoum, Hakim Lounis, Frédéric Ethève:
Predicting class libraries interface evolution: an investigation into machine learning approaches. 456-464 - Vojislav B. Misic:
Coherence equals cohesion-or does it? 465-
Distributed Systems
- Clare Churcher, Alan McKinnon, Roger Jarquin:
Visualising the influence of data structure choice on the performance of a distributed database system. 472-479 - Mariusz Nowostawski, Geoff Bush, Martin K. Purvis, Stephen Cranefield:
Platforms for agent-oriented software engineering. 480-488 - Jessica Chen:
A study on static analysis in network of synchronizing FSMs. 489-493
a service of 
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.
last updated on 2024-05-06 20:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
