Add to ORKGIn this paper we describe a methodology to trans-late BON (architectural) designs to Alloy specifi-cations. The main virtue of this process is that it can be implemented by means of software tools. The utilization of this methodology during the software development allows designers to validate different kinds of properties over their BON mod-els. Allowing, in this way, the finding of criti-cal bugs in earlier steps of system construction. Finally, we present a software which implements this translation from BON to Alloy
The research we are carrying on is intended to develop a tool aiding to design building mechanical a...
The report discusses issues of verification of data specified for finite-element analysis of complex...
Treball desenvolupat en el marc del programa "European Project Semester".When casting metals, many a...
In this paper we describe a methodology to translate BON (architectural) designs to Alloy specificat...
The emergence of lightweight formal methods tools such as Alloy improves the software design process...
Formal modeling and automatic analysis are essential to achieve a trustworthy software design prior ...
Models of software systems, e.g., designs, play an important role in the development of reliable and...
Alloy is a lightweight formal specification language, supported by an IDE, which has proven well-sui...
International audienceSocio-technical systems are increasingly becoming software-intensive. The chal...
Abstract — Software verification becomes more and more diffi-cult as new code modules are produced a...
An overview of the bibliography regarding the connection of knowledge about precious metal alloys an...
The main scope of the article is the development of a computer system, which should give advices at ...
The purpose of this study is to develop a methodology for material design. This methogology will ena...
The main scope of the article is the development of a computer system, which should give advices at ...
Domain Specific Modeling Languages (DSMLs) tend to play a central role in modern design processes a...
The research we are carrying on is intended to develop a tool aiding to design building mechanical a...
The report discusses issues of verification of data specified for finite-element analysis of complex...
Treball desenvolupat en el marc del programa "European Project Semester".When casting metals, many a...
In this paper we describe a methodology to translate BON (architectural) designs to Alloy specificat...
The emergence of lightweight formal methods tools such as Alloy improves the software design process...
Formal modeling and automatic analysis are essential to achieve a trustworthy software design prior ...
Models of software systems, e.g., designs, play an important role in the development of reliable and...
Alloy is a lightweight formal specification language, supported by an IDE, which has proven well-sui...
International audienceSocio-technical systems are increasingly becoming software-intensive. The chal...
Abstract — Software verification becomes more and more diffi-cult as new code modules are produced a...
An overview of the bibliography regarding the connection of knowledge about precious metal alloys an...
The main scope of the article is the development of a computer system, which should give advices at ...
The purpose of this study is to develop a methodology for material design. This methogology will ena...
The main scope of the article is the development of a computer system, which should give advices at ...
Domain Specific Modeling Languages (DSMLs) tend to play a central role in modern design processes a...
The research we are carrying on is intended to develop a tool aiding to design building mechanical a...
The report discusses issues of verification of data specified for finite-element analysis of complex...
Treball desenvolupat en el marc del programa "European Project Semester".When casting metals, many a...