Exploiting Formality in Software Engineering
نویسنده
چکیده
There is undoubtedly a huge gap between the level of formality currently in use in mainstream software engineering and the \best practise" advocated by academics and practised by a small sector of industry involved in critical applications. This paper presents some results of recent research which are building bridges between these two approaches: on the one hand, developing formal methods which are useful to mainstream developers; and on the other, underpinning mainstream methods with formal foundations.
منابع مشابه
GROUPCRC : Exploring CSCW Support for Software Engineering
Software engineers invariably work in teams. However, the nature of the available tools tends to isolate individuals so that they effectively work on their own. This is partly because of the complexity of the systems involved and the high degree of formality required in the products. Computer Supported Co-operative Work (CSCW) aims to support and enhance the ability of groups of people to accom...
متن کاملAgile Formality: A Mole of Software Engineering Practices
Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, as highlighted by the September 2009 issue of IEEE Software, the IFIP workshop on balancing agility and formalism in software engineering, and the first edition of the international workshop for formal methods and agile...
متن کاملFormal Requirements Engineering: Learning from the Students
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture is, in our opinion, the hardest stage of development for students to learn and for lecturers to teach. This paper reports on our experience in teaching requirements engineering using formal methods, where we advocate a ...
متن کاملAdding Semantics to Social Software Engineering: (Re-)Using Ontologies in a Community-oriented Requirements Engineering Environment
Social Software is typically characterized by low formal semantics and weakly structured contents. Software Engineering, in contrast, requires at least a certain degree of formality and structure. In order to face these opposing demands, we propose to ground Social Software Engineering on concepts and technologies from the Semantic Web. In particular, we present a Semantic Wiki based approach i...
متن کاملSoftware inspection - a blend of discipline and flexibility
Software engineering staff understand software inspection as a rather formal and disciplined process in general. Unfortunately this formality also detracts from its popularity among software practitioners. If we could add flexibility in the form of virtual meetings, for example, we could remove the barriers to including inspection in the development process. The present paper discusses alternat...
متن کامل