default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIJSEKE, Volume 7
Volume 7, Number 1, March 1997
- Paolo Ciaccia, Paolo Ciancarini, Wilma Penzo:
Formal Requirements and Design Specifications: The Clepsydra Methodology. 1-42 - Hans van der Schoot, Hasan Ural:
Data Flow Analysis of System Specifications in Lotos. 43-68 - Andrea F. Abate, C. D'apolito, Giancarlo Nota, Giuliano Pacini:
Writing and Analyzing System Specifications by Integrated Linguistic Tools. 69-99 - Jack Campin, Norman W. Paton, M. Howard Williams:
Specifying Active Database Systems in an Object-Oriented Framework. 101-123 - Chi-Ming Chung, Timothy K. Shih, Chun-Chia Wang, Ming-Chi Lee:
Integration Object-Oriented Software Testing and Metrics. 125-144 - Andrew M. Olson:
Transforming an HCI Model to a Software Design Model. 145-167
Volume 7, Number 2, June 1997
- Giuseppe Visaggio:
Guest Editors' Introduction. 169-170 - Makoto Sakai, Ken-ichi Matsumoto, Koji Torii:
A New Framework for Improving Software Development Process on Small Computer Systems. 171-184 - Barbara Dellen, Frank Maurer
, Jürgen Münch, Martin Verlage:
Enriching Software Process Support by Knowledge-Based Techniques. 185-215
- Guest Editors' Introduction. 217
- Vladimir V. Mazalov:
Method of Cumulative Sums and Problems of Optimal Control by Technological Processes. 219-229 - A. P. Cherenkov:
Knowledge Aspects of Resource Allocation Problems with Saturation. 231-245 - A. N. Kirillov:
The Stabilization Problem for Certain Class of Ecological Systems. 247-251 - Mária Bieliková, Pavol Návrat:
An Experience with the Use of Systems Engineer Case Tool. 253-259
Volume 7, Number 3, September 1997
- Phillip C.-Y. Sheu, Moon-hae Kim:
Guest Editors' Introduction. 261-262 - Yukio Mizuno, Shiro Sakata, Sachio Watanabe:
Multimedia Technologies in Japan: General Status and Future Trends. 263-288 - Atsuo Yoshitaka, Masahito Hirakawa, Tadao Ichikawa:
Knowledge-Assisted Retrieval of Spatiotemporal Content in Multimedia Databases. 289-303 - Chee Yong Chan, Louis-François Pau:
A Survey of Access Methods for Image Data. 305-319 - Chien-I Lee, Ye-In Chang, Wei-Pang Yang:
An Efficient Conflict-Resolution Approach to Support Read/Write Operations in a Video Server. 321-349 - Sankyu Park, Key-Sun Choi, K. H. Kim:
A Framework for Multi-Agent Systems with Multi-Modal User Interfaces in Distributed Computing Environments. 351-369 - Veli Hakkoymaz, Taieb Znati, Erdogan Dogdu:
User Control and Dynamic Reorganization of Multimedia Presentations During Playout. 371-395
Volume 7, Number 4, December 1997
- Gregor Engels, Hans Jürgen Schneider:
Guest Editors' Introduction. 397-400 - Kurt Schneider:
Application of Graph Grammars in an Educational Software Engineering Game: A Case Study in Pragmatic Adoption. 401-429 - Peter Heimann, Carl-Arndt Krapp, Bernhard Westfechtel, Gregor Joeris:
Graph-Based Software Process Management. 431-455 - Gregor Engels, Reiko Heckel, Gabriele Taentzer, Hartmut Ehrig:
A Combined Reference Model- and View-Based Approach to System Specification. 457-477 - Hans-Jörg Kreowski, Sabine Kuske, Andy Schürr:
Nested Graph Transformation Units. 479-502 - Annika Wagner:
A Formal Object Specification Technique Integrating Object and Functional Model. 503-524
- Ernst-Erich Doberkat:
Generating an Algebraic Specification from an ER-Model. 525-552 - Aniello Cimitile, Giuseppe Visaggio:
Managing Software Projects by Structured Project Planning. 553-584
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-01-15 20:36 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:
