Abstract:Abstract. We propose a collaboration project to integrate the research effort and results obtained at UNU-IIST on formal techniques in component and object systems with research at TRDDC in modelling and development of tools that support object-oriented and component-based design. The main theme is an integration of verification techniques with engineering methods of modelling and design, and an integration of verification tools and transformation tools. This will result in a method in which a correct program … Show more
“…One paper [33] reflects on question 3 above, and considers the integration of formal verification techniques and tools with software engineering modeling and design methods. The authors conclude that there is a need to ''advance theories, tools and experiments for both verification and design''.…”
Section: Description and Classification Questionsmentioning
confidence: 99%
“…(including tools and technologies used, industrial domain, and size) [33] Efficiency is normally measured in terms of output generated per unit of input. In traditional software engineering this could be source lines of code per unit of effort.…”
Section: Description and Classification Questionsmentioning
“…One paper [33] reflects on question 3 above, and considers the integration of formal verification techniques and tools with software engineering modeling and design methods. The authors conclude that there is a need to ''advance theories, tools and experiments for both verification and design''.…”
Section: Description and Classification Questionsmentioning
confidence: 99%
“…(including tools and technologies used, industrial domain, and size) [33] Efficiency is normally measured in terms of output generated per unit of input. In traditional software engineering this could be source lines of code per unit of effort.…”
Section: Description and Classification Questionsmentioning
“…We will investigate how the research results at UNU-IIST in theories and techniques of program modelling, design and verification can be used in the design of software development tools at TRDDC. A separate submission focusing on tool support is also accepted for presentation at this working conference to be considered for a presentation about the collaboration [26]. UNU-IIST has recently joined the NoE of ARTIST II and the collaboration with the other partners, such as Aalborg University (Denmark) and Uppsala University (Sweden) on component-based development and verification will become closer.…”
Abstract. This submission presents our understanding of the Grand Challenge and propose an agenda on how we will position our research to contribute to this world-wide collaborative research project.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.