Objective The main objective of the application experiment is to concentrate on the specification phase of the software project and apply new informal and formal methodologies and tools to solve the problems in the earliest stages of the software development. As this experiment also involves our customer. our goal is to alleviate problems that are caused by incomplete and ambiguous requirements as well as problems associated with the software specification phase.In this experiment we intend to use the informal Object Modeling Technique and complement it with a formal specification methodology, DisCo, developed at Tampere University of Technology. We would like to know if formal methodologies and associated tools could benefit both the requirements generation and the software specification phase. This could bring a common and exact language between the customer and us. It should be noted, however. that formal methodologies are not easily applied. One result of this experiment is if they are worth-while in the customer driven projects. Fields of science natural sciencescomputer and information sciencessoftwaresoftware development Programme(s) FP3-ESSI 1 - The ESSI accompanying measure within the framework of the Specific Research and Technological Development programme in the field of Information Technologies, 1990-1994 Topic(s) 1 - Accompanying measures for the specific programme of research and technological development in the field of information technologies Call for proposal Data not available Funding Scheme CSC - Cost-sharing contracts Coordinator INSTRUMENTOINTI OY EU contribution No data Address 20,SARANKULMANKATU 33900 TAMPERE Finland See on map Total cost No data Participants (1) Sort alphabetically Sort by EU Contribution Expand all Collapse all Tekla Oy Finland EU contribution No data Address See on map Total cost No data