default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIJSEKE, Volume 3
Volume 3, Number 1, March 1993
- Jonathan Lee, John Yen:
Enhancing the Software Life Cycle of Knowledge-Based Systems Using a Task-Based Specification Methodology. 3-15 - Alun D. Preece:
Specifications and Tools for Building Reliable Expert Systems. 17-52 - Sandro Bologna, Terje Sivertsen, Heikki Välisuo:
Rigorous Engineering Practice and Formal Reasoning of Deep Domain Knowledge - the Basis of Dependable Knowledge Based Systems for Process Plant Control. 53-98 - Farokh B. Bastani, Ing-Ray Chen, Ta-Wei Tsao:
A Software Reliability Model for Artificial Intelligence Programs. 99-114 - Xu Wu, Tadao Ichikawa:
A Knowledge-Based System for Correcting Users' Misconceptions in Database Retrieval. 115-138 - Anthony S. Karrer, Walt Scacchi:
Meta-Environments for Software Production. 139-162
Volume 3, Number 2, June 1993
- Bruce W. Weide:
Guest Editor's Introduction. 163-164 - Don S. Batory, Devang Vasavada:
Software Components for Object-Oriented Database Systems. 165-192 - Stephen H. Edwards:
Common Interface Models for Reusable Software. 193-206 - Murali Sitaraman, Lonnie R. Welch, Douglas E. Harms:
On Specification of Reusable Software Components. 207-229 - Miin-Jeng Pan, Shi-Kuo Chang, Chien-Chiao Yang:
A Two-Level Metadata Dictionary Approach for Semantic Query Processing in Multidatabase Systems. 231-255 - Jacques H. J. Lenting, Peter J. Braspenning:
The Frame Problem from an Engineering Perspective. 257-265 - Lalit M. Patnaik, Rajib Mall:
Specification of Real-Time Systems. 267-285
Volume 3, Number 3, September 1993
- Alex Delis, Victor R. Basili:
Ada Reusability and System Design Assessment Using the Data Binding Tool. 287-318 - José M. Drake, Wei-Tek Tsai, H. J. Lee, Imran A. Zualkernan:
Object-Oriented Analysis: Criteria and Case Study. 319-350 - Bruce W. Weide, Samuel DeFazio:
A Framework for Modeling Software Engineering Processes. 351-368 - Cui Zhang, Richard F. Walters:
An Abstract, Shared and Persistent Data Structure for Supporting Database Management and Multilingual Natural Language Processing. 369-382 - Daniel E. Cooke:
Possible Effects of the Next Generation Programming Language on the Software Process Model. 383-399 - Pasquale Armenise, Sergio Bandinelli, Carlo Ghezzi, Angelo Morzenti:
A Survey and Assessment of Software Process Representation Formalisms. 401-426
Volume 3, Number 4, December 1993
- Vladimir D. Mazurov:
Guest Editor's Introduction. 427-428 - I. I. Eremin, Leonid D. Popov:
Delta-Plan-Es - the Interactive System of Numerical Analysis of improper Linear Programs. 429-438 - Vladimir S. Kazantsev:
The "kvazar" Package for Pattern Recognition and its Applications. 439-444 - Serge V. Plotnikov:
Modeling under Local Structure Hypotheses. 445-451 - A. P. Cherenkov, V. V. Mikhailenko, B. S. Shusterman:
Determination of Solvability Boundaries of Optimization Problems in Parameter Space. 453-462 - E. A. Mukhachiova, V. A. Zalgaller:
Linear Programming Cutting Problems. 463-476 - L. T. Aschepkov, Dmitry V. Dolgy:
The Universal Solutions of Interval Systems of Linear Algebraical Equations. 477-485 - A. I. Tyatushkin, A. I. Zholudev, N. M. Erinchek:
The Program System for Solving Optimal Control Problems with Phase Constraints. 487-497 - Robert John Gautier, Huw Oliver, Mark B. Ratcliffe, Ben R. Whittle:
CDL - a Component Description Language for Reuse. 499-518
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-05-22 00:44 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:
