Logic and software engineering : international workshop in honor of Chih-Sung Tang : Beijing, 14-15 August 1995 /
Guardat en:
| Altres autors: | , , |
|---|---|
| Format: | Llibre |
| Idioma: | English |
| Publicat: |
Singapore ; New Jersey :
World Scientific,
c1996.
|
| Matèries: |
Taula de continguts:
- Clocked Transition Systems / Zohar Manna and Amir Pnueli
- Temporal Specification of Information Systems / Hans-Dieter Ehrich and Peter Hartel
- Towards an Object-Oriented Functional Programming Language / Zhenyu Qian and Bernd Krieg-Bruckner
- A Geometry Information Search System by Forward Reasoning / Shang-Ching Chou, Xiao-Shan Gao and Jing-Zhong Zhang
- A Class of Fixed-Point Problems on Graphs and Iterative Solution Algorithms / Tetsuo Tamai
- Computing Aspects of Set Theory / Erwin Engeler
- A Cooperative Design for Hybrid Control Systems / B. H. Widjaja, He Weidong, Chen Zongji and Zhou Chaochen
- A Distinctive Algorithm for Determining The Number of Real Roots of A Polynomial / Lu Yang, Xiao-Rong Hou and Zhen-Bing Zeng
- The Translation Approach to Modal and Temporal Reasoning / Jian Zhang
- On Implementing Unique Fixpoint Induction for Value-Passing Processes / Huimin Lin
- Being Whole / Raymond T. Yeh
- Office Without Walls / Arne Solvberg.
- Conceptual Models for Distributed Software Development Environments / Kouichi C. Kishida
- Will to Power and Will to Construct / Akira Kumagai
- An Object Oriented Testing and Maintenance Environment / David Kung, Jerry Gao and Pei Hsia
- Logic, Software Engineering and Prototyping / Luqi Berzins and Valdis Berzins
- A CHILL Debugger with a Wider Scope / Kristen Rekdal and Jon E. Stromme
- Software Support for Infrastructure Systems / Dines Bjorner
- R & D at the Institute of Software / YuLin Feng
- An Outline of the XYZ System / C. S. Tang / XYZ Group.