Evolving temporal conceptual schemas: the reification case
Gomez, C., Lopez, J.-R., Olive, A.
Published in Proceedings International Symposium on Principles of Software Evolution (2000)
Published in Proceedings International Symposium on Principles of Software Evolution (2000)
Get full text
Conference Proceeding
Publication
Calculation carrying programs - how to code program transformations
Takeichi, M., Zhenjiang Hu
Published in Proceedings International Symposium on Principles of Software Evolution (2000)
Published in Proceedings International Symposium on Principles of Software Evolution (2000)
Get full text
Conference Proceeding
Verifying formal specifications using fault tree analysis
Shaoying Liu
Published in Proceedings International Symposium on Principles of Software Evolution (2000)
Published in Proceedings International Symposium on Principles of Software Evolution (2000)
Get full text
Conference Proceeding
Sharing instability of a distributed cooperative work
Ochimizu, K., Murakoshi, H., Fujieda, K., Fujita, M.
Published in Proceedings International Symposium on Principles of Software Evolution (2000)
Published in Proceedings International Symposium on Principles of Software Evolution (2000)
Get full text
Conference Proceeding
Evolutional tableau method for temporal logic specifications
Tomoishi, M., Yonezaki, N.
Published in Proceedings International Symposium on Principles of Software Evolution (2000)
Published in Proceedings International Symposium on Principles of Software Evolution (2000)
Get full text
Conference Proceeding
Design issues of visual languages for supporting software evolution
Shibayama, E., Toyoda, M., Shizuki, B., Takahashi, S.
Published in Proceedings International Symposium on Principles of Software Evolution (2000)
Published in Proceedings International Symposium on Principles of Software Evolution (2000)
Get full text
Conference Proceeding
Formalizing prioritized consistency management in requirement engineering
Satoh, K.
Published in Proceedings International Symposium on Principles of Software Evolution (2000)
Published in Proceedings International Symposium on Principles of Software Evolution (2000)
Get full text
Conference Proceeding
Dynamic compilation of a reflective language using run-time specialization
Masuhara, H., Sugita, Y., Yonezawa, A.
Published in Proceedings International Symposium on Principles of Software Evolution (2000)
Published in Proceedings International Symposium on Principles of Software Evolution (2000)
Get full text
Conference Proceeding
Describing consistent component extension with expression of dependence
Get full text
Conference Proceeding
Object-oriented modeling of software patterns
Kobayashi, T., Kamo, M., Sanui, T., Saeki, M.
Published in Proceedings International Symposium on Principles of Software Evolution (2000)
Published in Proceedings International Symposium on Principles of Software Evolution (2000)
Get full text
Conference Proceeding
Program synthesis for stepwise satisfiable specification of reactive system
Yoshiura, N., Yonezaki, N.
Published in Proceedings International Symposium on Principles of Software Evolution (2000)
Published in Proceedings International Symposium on Principles of Software Evolution (2000)
Get full text
Conference Proceeding
Programmable environment calculus as theory of dynamic software evolution
Nishizaki, S.
Published in Proceedings International Symposium on Principles of Software Evolution (2000)
Published in Proceedings International Symposium on Principles of Software Evolution (2000)
Get full text
Conference Proceeding