default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st APSEC 1994: Tokyo, Japan
- First Asia-Pacific Software Engineering Conference, APSEC 1994, Tokyo, Japan, December 7-9, 1994. IEEE 1994, ISBN 0-8186-6960-8
- Koji Torii:
Analysis in software engineering. 2-6 - Anthony Finkelstein:
Requirements engineering: a review and research agenda. 10-19 - James Miller, Murray Wood, Andrew Brooks, Marc Roper:
Applying object-oriented construction to fault tolerant systems. 22-28 - Jeongwon Baeg, Atsushi Hirahara, Yoshiaki Fukazawa:
An adaptive user navigation mechanism and its evaluation. 29-37 - Sumin Huang:
Developing distributed applications by semantics-based automatic replication. 40-49 - Mikifumi Shikida, Yasuhide Yamamoto, Yoshimasa Kimura, Takehiro Tokuda:
A TAHG model based software generator system. 50-57 - Paul A. Bailes, Steven Atkinson, Murray Chapman, Dan B. Johnston, Ian Peake:
Proprietary vs. "open systems" options in the construction of knowledge-based software reengineering environments. 60-69 - Stephen W. L. Yip, Tom Lam:
A software maintenance survey. 70-79 - Colette Rolland, Naveen Prakash:
Guiding the requirements engineering process. 82-91 - Kazuto Tominaga, Takehiro Tokuda:
Constraint-centered descriptions for automated tool invocation. 92-101 - Jun Han:
Software documents, their relationships and properties. 102-111 - Alessandro Cucchiarelli
, Maurizio Panti, Salvatore Valenti:
Supporting user-analyst interaction in functional requirements elicitation. 114-123 - Kyo Chul Kang, Sey-Chan Jang:
A model-based MICOM application software development method. 124-132 - Danny C. C. Poo, Shwu-Yi Lee:
Object and domain policies specification. 133-142 - Taewoong Jeon, Anneliese von Mayrhauser:
A knowledge-based approach to regression testing. 144-153 - Bingchiang Jeng:
Integrating data flow and domain testing. 154-162 - Daniel Hoffman, Jonathan Smillie, Paul A. Strooper:
Automated class testing: methods and experience. 163-171 - Hans-Jürgen Kugler, Richard Messnarz:
From the software process to software quality: BOOTSTRAP and ISO 9000. 174-182 - Jouni Similä, Pasi Kuvaja, Lech Krzanik:
BOOTSTRAP: a software process assessment and improvement methodology. 183-196 - David Jacobs, Chris D. Marlin:
Software process representation to support multiple views. 197-205 - Issam A. Hamid, Mohammed Erradi:
Dynamic evolution of distributed systems specifications using reflective language. 208-219 - Masakazu Fukagawa, Teruo Hikita, Hiroshi Yamazaki:
A mapping system from Object-Z to C++. 220-228 - Karl R. P. H. Leung, Clement F. S. Yim:
Reversing concurrent systems into formal specifications. 229-234 - Eisuke Itoh, Yutaka Kawaguchi, Zengo Furukawa, Kazuo Ushijima:
Ordered sequence testing criteria for concurrent programs and the support tool. 236-245 - Gwan-Hwan Hwang, Kuo-Chung Tai, Ting-Lu Huang:
Reachability testing: an approach to testing concurrent software. 246-255 - Tetsuro Kakeshita, Mariko Oda, Yoshihiro Imamura:
Fall-in C: a software tool for pitfall detection in C programs. 256-265 - Yasuhiro Sugiyama:
Producing and managing software objects in the process programming environment OPM. 268-277 - Woo Jin Lee, In Sang Chung, Yong Rae Kwon:
Analysis and enactment of a distributed software process model: the AttNet model. 278-286 - Min Kang, Douglas D. Grant:
Process-sensitive software engineering environments: an object-oriented view. 287-295 - Atsushi Sawada, Naruki Mitsuda, Tsuneo Ajisaka, Yoshihiro Matsumoto:
Generating data access programs from PCTE schemas with constraints. 298-307 - Naomi Fujimura:
An analysis of the effects and evaluation of upper CASE tools for embedded microprocessors in Japan and the US. 308-316 - Mark Sifer, John Potter:
Scalability for graph based CASE tools. 317-326 - Kyo Chul Kang, Kwang-Il Ko:
PARTS-a temporal logic-based real-time software specification method supporting multiple-viewpoints. 328-335 - Graeme Smith:
Formal definitions of behavioural compatibility for active and passive objects. 336-344 - Anthony C. Bloesch, Edmund Kazmierczak, Peter Kearney, Owen Traynor:
The Cogito methodology and system. 345-355 - Owen Traynor, Anthony C. Bloesch:
The Cogito Repository Manager. 356-365 - Hyeon Kon Kim, Michael Björn, Hui Yao, Ryosuke Hotaka:
A sentential function mapping method for object-oriented analysis and design. 368-377 - Yue-Sun Kuo:
When to inherit and when not to. 378-387 - Junichi Yamamoto, Akihiko Ohsuga, Shinichi Honiden:
Object-oriented analysis and design support system using algebraic specification techniques. 388-397 - Stan Jarzabek, Han Shen, Hock Chuan Chan:
A hybrid program knowledge base for static program analyzers. 400-409 - Moon-hae Kim, Young-Chul Shim:
Software Information Management System based on the entity-relationship model. 420-427 - Chin-Feng Fan, Swu Yih:
Prescriptive metrics for software quality assurance. 430-438 - Toyohiko Hirota, M. Tohki, C. Michael Overstreet, Masaaki Hashimoto, Robert Cherinka:
An approach to predict software maintenance cost based on ripple complexity. 439-444 - Rong-Huei Hou, Ing-Yi Chen, Yi-Ping Chang, Sy-Yen Kuo:
Optimal release policies for hyper-geometric distribution software reliability growth model with scheduled delivery time. 445-452
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 2025-10-24 21:48 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:
