Abstract is missing.
- On developing a general theory of software engineeringKarl B. Zerangue. [doi]
- Entity behaviour descriptions-A specification model for communicating entitiesJoanne L. Boyd, Gerald M. Karam. 2-10 [doi]
- Visual CASE: A software development system for home appliancesYoshihiko Imai, Kazutoshi Sumiya, Kouichi Yasutake, Shuusuke Haruna. 11-18 [doi]
- Object-oriented database views for supporting multidisciplinary concurrent engineeringKelvin Wenbo Liu, David Spooner. 19-26 [doi]
- Recording software design processes for maintaining the softwareMasaki Hamada, H. Adachi. 27-33 [doi]
- Software process assessment and improvement using production modelsAnneliese von Mayrhauser, Armin Roeseler. 34-40 [doi]
- Process-centered project management system by stepwise particularizing software processKagetomo Genji, Michitoshi Ishiwaka, Takeshi Ogihara, Katsuro Inoue. 41-48 [doi]
- Developmental testing of abstract data typesAllen S. Parrish, David Cordes, Richard B. Borie. 49-55 [doi]
- An object-oriented prototyping approach to system developmentTakashi Arano, Carl K. Chang, Pattanasak Mongkolwat, Yong Liu, Xin Shu. 56-62 [doi]
- Maintenance support needs for object-oriented softwareRonald T. Crocker, Anneliese von Mayrhauser. 63-69 [doi]
- Coordination of software-development activities among sites that are geographically separatedL. F. Truett, E. Z. Faby, Jon W. Grubb, J. P. Loftis, P. C. Shipe. 70-75 [doi]
- Software engineering in the commercial sector present and future: A United Kingdom perspectiveJ. Barrie Thompson, Simon Stobart. 76-82 [doi]
- A framework for modelling evolving requirementsAndrew J. C. Blyth, J. Chudge, John E. Dobson, Ros Strens. 83-89 [doi]
- Experiences with a faceted classification scheme in a large reusable software library (RSL)Jeffrey S. Poulin, Kathryn P. Yglesias. 90-99 [doi]
- Software reengineering for reusabilityStan Jarzabek. 100-106 [doi]
- Degrees of consciousness for reuse of software in practice: Maintainability, balance, standardizationStefan Biffl, Thomas Grechenig. 107-114 [doi]
- Tool integration frameworks-Facts and fictionK. Singh. 115-116 [doi]
- Designing parallel database programs using PARSEJon Gray, Ian Gorton, Innes Jelly. 117-123 [doi]
- Parallel software engineering with PARSEIan Gorton, Innes Jelly, Jon Gray. 124-130 [doi]
- SD/sup 2/-A system for distributed software developmentH. Y. Yang, D.-L. Lang, A.-C. Liu. 131-137 [doi]
- Petri net based modelling of procedures in complex object database applicationsAndreas Oberweis, Peter Sander, Wolffried Stucky. 138-144 [doi]
- An extended recursive algebra for nested relations and its optimizationB. Rathakrishnan, J. L. Kim. 145-151 [doi]
- Design and implementation of a distributed databaseBhavani M. Thuraisingham, Harvey H. Rubinovitz, David Foti, Andres Abreu. 152-158 [doi]
- Secure group communication protocol for distributed systemsMakoto Takizawa, Hiroya Mita. 159-165 [doi]
- A reduced incremental ECFSM-based protocol verificationChung-Ming Huang, Hsin-Yi Lai, Duen-Tay Huang. 166-172 [doi]
- The Xthreads library: Design, implementation, and applicationsJanche Sang, Felipe Knop, Vernon Rego, Jenq Kuen Lee, Chung-Ta King. 173-179 [doi]
- A formal technique to analyze real-time systemsJ. Wang, H. Chen. 180-185 [doi]
- Integrating abstraction flexibility with diverse program perspectivesJaved I. Khan, Isao Miyamoto. 186-192 [doi]
- A method of drawing tree-structured program diagrams on the Euclidian planeYouzou Miyadera, Koushi Anzai, H. Banba. 193-201 [doi]
- Capturing the objected-oriented database model in relational formSu-Yin Hsieh, Carl K. Chang, Pattanasak Mongkolwat, Walter W. Pilch Jr., Chiao-Chuan Shih. 202-208 [doi]
- Object prototyping: Concept and specification languageH. J. Lee, Wei-Tek Tsai. 209-215 [doi]
- Multimedia object modelling and storage allocation strategies for heterogeneous parallel access storage devices in real time multimedia computing systemsC. Y. Roger Chen, Kingsley C. Nwosu, P. Bruce Berra. 216-223 [doi]
- Fault-tolerant distributed deadlock detection/resolutionPei-yu Li, Bruce McMillin. 224-230 [doi]
- Process dependence net of distributed programs and its applications in development of distributed systemsJingde Cheng. 231-240 [doi]
- An integrated data structure with multiple access paths for database and its performanceVijay Kumar 0002, Judy Mullins. 241-247 [doi]
- Adaptive algorithm selection method (AASM) for dynamic software tuningKuniyasu Suzaki, Takio Kurita, Hitoshi Tanuma, Satoshi Hirano. 248-256 [doi]
- Efficient commitment of events in distributed simulationVaduvur Bharghavan, C. V. Ramamoorthy. 257-262 [doi]
- DELTA-DEsign Language To ActorNancy K. Gautier, Doris L. Carver. 263-269 [doi]
- Computing with real world: a fuzzy duration calculsM.-Y. Zhu, C.-W. Wang. 270-276 [doi]
- The Motorola software engineering benchmark program: Organization, directions, and resultsJim Fritsch. 284-290 [doi]
- A concurrent programming environment for memory-mapped persistent object systemsMei-Mei Fu, Partha Dasgupta. 291-297 [doi]
- Choices in database workstation-server architectureIris Sheauyin Chu, Marianne Winslett. 298-305 [doi]
- Online workload, performance and scalability of a database production system: A case studyMei-Chen Hsueh. 306-312 [doi]
- Specification slicing in formal methods of software developmentT. Oda, K. Araki. 313-319 [doi]
- Z meets Haskell: A case studyLinda B. Sherrell, Doris L. Carver. 320-326 [doi]
- Use of a specification construction and animation tool to teach formal methodsIan C. Morrey, Jawed I. A. Siddiqi, Graham Buckberry, Richard Hibberd. 327-333 [doi]
- A task allocation algorithm for distributed computing systemsStephen S. Yau, Venkeepuram R. Satish. 336-342 [doi]
- Two-level processor scheduling for multiprogrammed NUMA multiprocessorsAkira Fukuda, Ryousuke Fujiki, Hisa-aki Kai. 343-351 [doi]
- Scheduling of dynamic divide-and-conquer computations on multicomputersVijay Karamcheti, Benjamin W. Wah. 352-359 [doi]
- Model-based formal specification directed testing of abstract data typesXiaoping Jia. 360-366 [doi]
- Using computational learning theory to analyze the testing complexity of program segmentsKathleen Romanik, Jeffrey Scott Vitter. 367-373 [doi]
- A practical and space efficient scheme for keeping source location in parse treesJianhua Zhu. 374-379 [doi]
- A software architecture for maintaining temporal consistency in a distributed real-time environmentPrasad Raja, Jean Hernandez, Luis Ruiz, Guevara Noubir, Jean-Dominique Decotignie. 380-387 [doi]
- A temporal model for transparent monitoring of shared-memory multiprocessorsDavid F. Robinson, Betty H. C. Cheng. 388-394 [doi]
- An integrated environment for software reliability modelingJeff Tian, Peng Lu. 395-401 [doi]
- Formal support for software maintenanceDaniel E. Cooke, Luqi. 402-407 [doi]
- Criteria for selecting a family of software indicatorsDebra Trantina Calliss, Frank W. Calliss. 408-413 [doi]
- System dependence graph construction for recursive programsPanos E. Livadas, Stephen Croll. 414-420 [doi]