12th European Conference on Object-Oriented Programming
Mehmet Aksit <email@example.com>
Bedir Tekinerdogan <firstname.lastname@example.org>
Franscesco Marcelloni <email@example.com>
|Contact:||Mehmet Aksit <firstname.lastname@example.org>|
|Room:||C105 (2nd floor)|
Cost-effective realization of robust, adaptable and reusable software systems demands efficient and effective management of the overall software production process. Current object-oriented methods are not completely formalized and lack the ability of reasoning about the quality of processes and software products (artifacts). There is a need for new modeling formalisms, which enable the quantification of the required quality attributes and support the automation of the development process. The goal of this workshop is to define which computable formalisms are necessary to automate each phase of the development process. In particular, we would like to investigate: How to formalize and support the requirements elicitation process? How to formalize and support domain analysis? How to model software artifacts and architectures? Which type of Computer Aided Software Development Environments are required? How to define computable process formalisms? How to deal with inconsistency and uncertainty in the software development process?