default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th COMPSAC 1992: Chicago, IL, USA
- Sixteenth Annual International Computer Software and Applications Conference, COMPSAC 1992, Proceedings, Chicago, IL, USA, 21-25 September, 1992. IEEE 1992, ISBN 0-8186-3000-0
- Colin Ashford:
Object modelling for open network management. - Horst F. Wedde, Betty H. C. Cheng
, David Gries, N. Shankar, Kwei-Jay Lin, Mark A. Ardis:
Are formal methods useful for software development? 2-9 - Rui Gustavo Crespo:
The identification and use of properties and relationships between properties of the software development. 10-16 - Pablo A. Straub, Marvin V. Zelkowitz:
On the nature of bias and defects in the software specification process. 17-24 - Eric J. Byrne, David A. Gustafson:
A software re-engineering process model. 25-30 - Thomas Rose, Matthias Jarke, John Mylopoulos:
Organizing software repositories modeling requirements and implementation experiences. 31-38 - Shih-Kun Huang, Deng-Jyi Chen:
Two-way coloring approaches for method dispatching in object-oriented programming systems. 39-44 - Udo Kelter:
H-PCTE-a high performance object management system for system development environments. 45-50 - James Arthur Kohl, Thomas L. Casavant:
A software engineering, visualization methodology for parallel processing systems. 51-56 - Arturo J. Sanchez-Ruiz, Ephraim P. Glinert:
Multilanguage programming: an automatic-type-mapping approach. 57-62 - A. Kanai, T. Furuyama, M. Takahashi:
A cost model for software conversion based on program characteristics and a converter effect. 63-68 - Michael R. Lyu, Jia-Hong Chen, Algirdas Avizienis:
Software diversity metrics and measurements. 69-78 - Harald C. Gall, René Klösch:
Reuse engineering: software construction from reusable components. 79-86 - Robert A. Fraley:
A view of the GDMO interface definition language. 88-89 - Ping Hu, Steve R. Wilbur:
Performance evaluation of dynamic supporting algorithms. 90-95 - J. Barrie Thompson, Helen M. Edwards:
How the use of the STePS method can improve software quality and aid project management. 96-101 - Mikio Aoyama, Masami Nakamura, Shinya Kawajiri, Kousuke Takahashi, Takanori Hashizume, Takashi Komuro:
A distributed cooperative CASE environment for communications software. 102-108 - Vijay K. Vaishnavi, David Abbott, Tom A. Cooper, King Walling:
Panel on management of emerging software technologies. 109-114 - Meera Blattner, Ephraim P. Glinert, Joaquim A. Jorge, Gary R. Ormsby:
Metawidgets: towards a theory of multimodal interface design. 115-120 - Nobuko Kishi:
SimUI: graphical user interface evaluation using playback. 121-127 - Hans-Werner Six, Josef Voss:
A software engineering perspective to the design of a user interface framework. 128-134 - Alvaro E. Campos, David R. Hanson:
Distributed EZ [string processing language]. 136-142 - Ting-Yu Cheng, Jen-Yao Chung, Kwei-Jay Lin:
Dynamic load balancing algorithms in loosely-coupled real-time systems. 143-148 - Samantha Edirisooriya, Geetani Edirisooriya:
A signature efficient solution for remote file comparison. 149-154 - Joseph E. Urban, R. Frye, A. Miller, A. G. Rao:
Industrial strength software engineering training programs. 155-161 - Sang Ho Lee, Lawrence J. Henschen, Myoung-Ho Kim, Yoon-Joon Lee:
Enforcement of integrity constraints against transactions with transition axioms. 162-167 - T. P. Ng:
Highly available atomic objects. 168-175 - Susan Darling Urban, Chiung-hsun Chen Lai, Sanjay Saxena:
ORL: an object retrieval language interface to an object algebra. 176-181 - Hanan Lutfiyya, Aggie Y. Sun, Bruce M. McMillin:
Fault-tolerant concurrent branch and bound algorithms derived from program verification. 182-187 - Rumi M. Dubash, I-Ling Yen, Farokh B. Bastani:
Fault tolerant process planning and control. 188-193 - R. Govindarajan:
Software fault-tolerance in functional programming. 194-199 - Georges Grosz:
Building information system requirements using generic structures. 200-205 - Ming-Yuan Zhu, Cheng-Wei Wang:
Program derivation in PowerEpsilon. 206-211 - Xudong He, C.-H. Yang:
Structured analysis using hierarchical predicate transition nets. 212-217 - Karl B. Zerangue, Joseph E. Urban:
A metalanguage based on a theory of specification. 218-223 - Scott Danforth:
Integrating object and relational technologies. 225-226 - David F. Robinson, Betty H. C. Cheng, Richard J. Enbody:
A transparent monitoring tool for shared-memory multiprocessors. 227-232 - Arun K. Nanda, Lionel M. Ni:
SAD kernels: a software tool to evaluate synchronization behavior of multiprocessors. 233-238 - Robert H. Bourdeau, Betty H. C. Cheng:
An object-oriented toolkit for constructing specification editors. 239-244 - John A. Keane, Walter Hussak:
The use of formal methods in parallel operating systems. 245-250 - Stephen S. Yau, Doo-Hwan Bae, Gilda Pour:
A partitioning approach for object-oriented software development for parallel processing systems. 251-256 - Yun Jiang, Akifumi Makinouchi:
WARASA: an enhanced C++ for concurrent programming on shared memory multiprocessor computers. 257-262 - Junguk L. Kim, Jyh-Charn Liu, Prabaharan I. Swarnam, Taesoon Park, Ying Hao, Thomas Urbanik:
The area-wide real-time traffic control system (ARTC): a distributed computing system. 263-268 - Man L. Li, Willis K. King:
Strategies for machine instruction transformation in an expert system. 269-276 - Akira Suganuma, Masato Kataoka, Keijiro Araki:
Application of a neural network to human tasting. 277-282 - Robert D. Collet:
What does a public data Internet do? 283-284 - Ittai Hershman:
Commercialization of the Internet. 285-286 - Hiroshi Maruyama, Masaki Matsuyama, Keijiro Araki:
Support tool and strategy for type error correction with polymorphic types. 287-293 - Jeffrey J. P. Tsai, Ray-Yuan Sheu, Bing Li:
A framework of a logic-based transformation system. 294-299 - Dwight S. Wilson, Gregory F. Sullivan, Gerald M. Masson:
Experimental evaluation of certification trails using abstract data type validation. 300-305 - Karen L. Petersen:
IDA-intrusion detection alert. 306-311 - Hiromitsu Shimakawa, Yuzuru Sugitani, Kouji Kikkawa, Taketoshi Watanabe:
Agents to guide operators with recognition of time series. 312-319 - Wei-Tek Tsai, Shekhar H. Kirani, Imran A. Zualkernan:
Testing expert systems using conventional techniques. 320-325 - Hui Liu, Maung T. Nyeu, David Y. Y. Yun, Woei Lin:
VATPA: a simulation environment for message-passing concurrent systems. 326-331 - C. Eric Wu, Yarsun Hsu, Yew-Huey Liu:
Stack simulation for set-associative V/R-type caches. 332-339 - Jing-Shiang Tseng, Chung-Ta King:
FM2: a simulator for fine-grained message-passing multicomputers in k-ary n-cube networks. 340-345 - Sugao Sumiya, Takashi Saito:
Development of a multimedia document management system for cooperative work environment. 346-355 - John E. Dobson, Andrew J. C. Blyth, J. S. Chudge, Ros Strens:
The ORDIT approach to requirements identification. 356-361 - Jürgen Börstler, Thorsten Janning:
Traceability between requirements and design: a transformational approach. 362-368 - K. S. Kumar, M. Sparancia, A. Unnikrishnan:
A neural network for fast inferencing on a fuzzy knowledge base. 369-374 - Haider Ali Ramadhan:
Intelligent vs. unintelligent programming systems for novices. 375-380 - Luqi, Daniel E. Cooke:
The management of uncertainty in software development. 381-386
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-11-08 20:18 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:
