default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th COMPSAC 1993: Phoenix, AZ, USA
- Seventeenth Annual International Computer Software and Applications Conference, COMPSAC 1993, Proceedings, Phoenix, AZ, USA, 1-5 November, 1993. IEEE 1993, ISBN 0-8186-4440-0
- Karl B. Zerangue:
On developing a general theory of software engineering. - Joanne L. Boyd, Gerald M. Karam:
Entity behaviour descriptions-A specification model for communicating entities. 2-10 - Yoshihiko Imai, Kazutoshi Sumiya, Kouichi Yasutake, Shuusuke Haruna:
Visual CASE: A software development system for home appliances. 11-18 - Kelvin Wenbo Liu, David Spooner:
Object-oriented database views for supporting multidisciplinary concurrent engineering. 19-26 - Masaki Hamada, H. Adachi:
Recording software design processes for maintaining the software. 27-33 - Anneliese von Mayrhauser, Armin Roeseler:
Software process assessment and improvement using production models. 34-40 - Kagetomo Genji, Michitoshi Ishiwaka, Takeshi Ogihara, Katsuro Inoue:
Process-centered project management system by stepwise particularizing software process. 41-48 - Allen S. Parrish, David Cordes, Richard B. Borie:
Developmental testing of abstract data types. 49-55 - Takashi Arano, Carl K. Chang, Pattanasak Mongkolwat, Yong Liu, Xin Shu:
An object-oriented prototyping approach to system development. 56-62 - Ronald T. Crocker, Anneliese von Mayrhauser:
Maintenance support needs for object-oriented software. 63-69 - L. F. Truett, E. Z. Faby, Jon W. Grubb, J. P. Loftis, P. C. Shipe:
Coordination of software-development activities among sites that are geographically separated. 70-75 - J. Barrie Thompson, Simon Stobart:
Software engineering in the commercial sector present and future: A United Kingdom perspective. 76-82 - Andrew J. C. Blyth, J. S. Chudge, John E. Dobson, Ros Strens:
A framework for modelling evolving requirements. 83-89 - Jeffrey S. Poulin, Kathryn P. Yglesias:
Experiences with a faceted classification scheme in a large reusable software library (RSL). 90-99 - Stan Jarzabek:
Software reengineering for reusability. 100-106 - Stefan Biffl, Thomas Grechenig:
Degrees of consciousness for reuse of software in practice: Maintainability, balance, standardization. 107-114 - Kanwalinder Singh:
Tool integration frameworks-Facts and fiction. 115-116 - Jon Gray, Ian Gorton, Innes Jelly:
Designing parallel database programs using PARSE. 117-123 - Ian Gorton, Innes Jelly, Jon Gray:
Parallel software engineering with PARSE. 124-130 - Hsiao-Ying Yang, Don-Lin Lang, An-Chi Liu:
SD2-A system for distributed software development. 131-137 - Andreas Oberweis, Peter Sander, Wolffried Stucky:
Petri net based modelling of procedures in complex object database applications. 138-144 - B. Rathakrishnan, J. L. Kim:
An extended recursive algebra for nested relations and its optimization. 145-151 - Bhavani Thuraisingham, Harvey H. Rubinovitz, David Foti, Andres Abreu:
Design and implementation of a distributed database. 152-158 - Makoto Takizawa, Hiroya Mita:
Secure group communication protocol for distributed systems. 159-165 - Chung-Ming Huang, Hsin-Yi Lai, Duen-Tay Huang:
A reduced incremental ECFSM-based protocol verification. 166-172 - Janche Sang, Felipe Knop, Vernon Rego, Jenq Kuen Lee, Chung-Ta King:
The Xthreads library: Design, implementation, and applications. 173-179 - Ji Wang, Huowang Chen:
A formal technique to analyze real-time systems. 180-185 - Javed I. Khan, Isao Miyamoto:
Integrating abstraction flexibility with diverse program perspectives. 186-192 - Youzou Miyadera, Koushi Anzai, H. Banba:
A method of drawing tree-structured program diagrams on the Euclidian plane. 193-201 - Su-Yin Hsieh, Carl K. Chang, Pattanasak Mongkolwat, Walter W. Pilch Jr., Chiao-Chuan Shih:
Capturing the objected-oriented database model in relational form. 202-208 - Horng-Juing Lee, Wei-Tek Tsai:
Object prototyping: Concept and specification language. 209-215 - C. Y. Roger Chen, Kingsley C. Nwosu
, P. Bruce Berra:
Multimedia object modelling and storage allocation strategies for heterogeneous parallel access storage devices in real time multimedia computing systems. 216-223 - Pei-yu Li, Bruce M. McMillin:
Fault-tolerant distributed deadlock detection/resolution. 224-230 - Jingde Cheng:
Process dependence net of distributed programs and its applications in development of distributed systems. 231-240 - Vijay Kumar, Judy Mullins:
An integrated data structure with multiple access paths for database and its performance. 241-247 - Kuniyasu Suzaki, Takio Kurita, Hitoshi Tanuma, Satoshi Hirano:
Adaptive algorithm selection method (AASM) for dynamic software tuning. 248-256 - Vaduvur Bharghavan, C. V. Ramamoorthy:
Efficient commitment of events in distributed simulation. 257-262 - Nancy K. Gautier, Doris L. Carver:
DELTA-DEsign Language To Actor. 263-269 - Ming-Yuan Zhu, Cheng-Wei Wang:
Computing with real world: a fuzzy duration calculs. 270-276 - Jim Fritsch:
The Motorola software engineering benchmark program: Organization, directions, and results. 284-290 - Mei-Mei Fu, Partha Dasgupta:
A concurrent programming environment for memory-mapped persistent object systems. 291-297 - Iris Sheauyin Chu, Marianne Winslett:
Choices in database workstation-server architecture. 298-305 - Mei-Chen Hsueh:
Online workload, performance and scalability of a database production system: A case study. 306-312 - Tomohiro Oda, Keijiro Araki:
Specification slicing in formal methods of software development. 313-319 - Linda B. Sherrell, Doris L. Carver:
Z meets Haskell: A case study. 320-326 - Ian C. Morrey, Jawed I. A. Siddiqi, Graham Buckberry, Richard Hibberd:
Use of a specification construction and animation tool to teach formal methods. 327-333 - Stephen S. Yau, Venkeepuram R. Satish:
A task allocation algorithm for distributed computing systems. 336-342 - Akira Fukuda, Ryousuke Fujiki, Hisa-aki Kai:
Two-level processor scheduling for multiprogrammed NUMA multiprocessors. 343-351 - Vijay Karamcheti, Benjamin W. Wah:
Scheduling of dynamic divide-and-conquer computations on multicomputers. 352-359 - Xiaoping Jia:
Model-based formal specification directed testing of abstract data types. 360-366 - Kathleen Romanik, Jeffrey Scott Vitter:
Using computational learning theory to analyze the testing complexity of program segments. 367-373 - Jianhua Zhu:
A practical and space efficient scheme for keeping source location in parse trees. 374-379 - Prasad Raja, Jean Hernandez, Luis Ruiz, Guevara Noubir, Jean-Dominique Decotignie:
A software architecture for maintaining temporal consistency in a distributed real-time environment. 380-387 - David F. Robinson, Betty H. C. Cheng:
A temporal model for transparent monitoring of shared-memory multiprocessors. 388-394 - Jeff Tian, Peng Lu:
An integrated environment for software reliability modeling. 395-401 - Daniel E. Cooke, Luqi:
Formal support for software maintenance. 402-407 - Debra Trantina Calliss, Frank W. Calliss:
Criteria for selecting a family of software indicators. 408-413 - Panos E. Livadas, Stephen Croll:
System dependence graph construction for recursive programs. 414-420
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-12-12 01:20 CET 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:
