![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
IJSEKE, 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.