Oikos at the age of three
This work describes the history, the present state, and the planned future of the Oikos Project after completing its third year of life. The final goal is to fully specify and enact real software development processes. The approach is based on three different levels: the specification level, the enactment level, and the tool integration level. In the next two years we will concentrate our efforts in two directions: the definition of mechanisms to control the evolution of the software process and the enactment of real instances of software processes.
Unable to display preview. Download preview PDF.
- Ambriola 88.V.Ambriola, P.Ciancarini, A.Corradini “Specifying and Prototyping in Concurrent Prolog a Software Engineering Environment”, Tech. Rep. TR11/88, Dipartimento di Informatica, Università di Pisa, July 1988.Google Scholar
- Ambriola 90b.V.Ambriola, P.Ciancarini, C.Montangero, “Enacting Software Processes in Oikos”, Proc.4th ACM SIGSOFT Symposium on Software Development Environments, Irvine, December, 1990.Google Scholar
- Ambriola 91a.V.Ambriola, P.Ciancarini, A. Corradini, N. DeFrancesco “Towards Innovative Software Development Environments”, The Journal of Systems and Software, 14:1, (1991), 17–29.Google Scholar
- Ambriola 91b.V.Ambriola, C.Montangero “Hierarchical Specification of Software Processes”, Proc. of the First European Workshop on Software Process Modeling, Milano, May 1991.Google Scholar
- Ambriola 9lc.V.Ambriola, C.Montangero “Hierarchical Specification of Software Processes in Oikos”, Proc. of the 7th International Software Process Workshop, Yountsville, October 1991.Google Scholar
- Ambriola 92a.V.Ambriola, C.Montangero, T.Flagella, M.Gaspari “Expo: A Framework for Process Centered Environments”, Tech. Rep., Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo, July 1992.Google Scholar
- Ambriola 92b.V.Ambriola, L.Semini “Control Specification of Tuple Based Space Languages”, Internal document, 1992.Google Scholar
- Brogi 91.A.Brogi, P.Ciancarini, “The Concurrent Language Shared Prolog”, ACM Trans. on Programming Languages and Systems, 13:1, (January 1991), 99–123.Google Scholar
- Bucci 91.A.Bucci, P.Ciancarini, C.Montangero, “A Distributed Logic Language Based on Multiple Tuple Spaces”, Proc. of the Logic Programming Conference, Tokyo, July 1991.Google Scholar
- Carriero 89.N.Carriero, D.Gelernter, “Linda in Context”, Communications of the ACM, 32:4, 1989, 444–459.Google Scholar
- Chen 92.X.J.Chen, C.Montangero “Compositional Refinements in Multiple Blackboard Systems”, ESOP'92 European Symposium on Programming, Rennes, February 1992.Google Scholar
- Chimenti 90.D.Chimenti, R.Gamboa, R.Krishnamurthy, S. Naqvi, T.Shalom, and C. Zaniolo. “The LDL System Prototype”, IEEE Transaction on Knowledge and Data Engineering, 76–90, 1990.Google Scholar
- Dowson 91.M.Dowson, B.Nejmeh, W.Riddle “Fundamental Software Process Concepts”, Proc. First European Workshop on Software Process Modeling, Milano, May 1991.Google Scholar