SEFM: software engineering and formal methods

摘要

Software engineering is concerned with the design, development and maintenance of large software using systematic techniques. Research performed in software engineering includes a variety of topics like studies on psychological aspects of teams developing software, new agile methodologies, software processes and architectures, model-based development approaches, and validation and verification, to mention only a few. Though the discipline has considerably advanced in the last twenty years, it still lacks a formal and rigorous approach in some of its specific topics or subareas, making it difficult to assess in general that a software product satisfies its requirements. Besides, some specific software development standards require a certain minimum level of rigorousness in the development and validation of tools in order to be certified, justifying the use of more formal techniques.