Add to ORKGThe paper formulates HEQ, an institution for hybrid equational logic to provide a uniform setting to express and reasoning about different sorts of properties of complex software. It is also shown how, through the definition of a suitable comorphism to FOL, this can be integrated in Hets, providing suitable tool support for teaching and re- search. The whole exercise was motivated by the need to unify, in a single undergraduate course in a Computer Science curriculum, the specification of data and behavioural constraints of reconfigurable systems.Fundação para a Ciência e a Tecnologia (FCT
Boilerplates are simplified, normative English texts,intended to capture software requirements in a ...
The aim of the programs in Computer Science is to educate and train students to understand the probl...
International audienceIn a previous paper, we defined both a unified formal framework based on L.-S....
Abstract. The paper formulates HEQ, an institution for hybrid equa-tional logic to provide a uniform...
The exploration of requirements is as complex as it is important in ensuring a successful software p...
As computing becomes ubiquitous, software correctness has a fundamental role in ensuring the safety ...
In a broad sense, computing is an area of knowledge from which a popular and effective technology em...
Getting the right software requirements under the right environment assumptions is a critical precon...
One of the most important objectives of the research in mathematics and computer science is to obta...
Reconfigurability, understood as the ability of a system to behave differently in different modes of...
The paper introduces a software problem calculus based on a view of requirements engineering propose...
One of the problems with current practice in software development is that often customer requirement...
Hybridisation is a systematic process along which the characteristic features of hybrid logic, both ...
International audienceSoftware development usually involves a collection of properties, programs and...
This paper introduces a rigorous methodology for requirements specification of systems that react to...
Boilerplates are simplified, normative English texts,intended to capture software requirements in a ...
The aim of the programs in Computer Science is to educate and train students to understand the probl...
International audienceIn a previous paper, we defined both a unified formal framework based on L.-S....
Abstract. The paper formulates HEQ, an institution for hybrid equa-tional logic to provide a uniform...
The exploration of requirements is as complex as it is important in ensuring a successful software p...
As computing becomes ubiquitous, software correctness has a fundamental role in ensuring the safety ...
In a broad sense, computing is an area of knowledge from which a popular and effective technology em...
Getting the right software requirements under the right environment assumptions is a critical precon...
One of the most important objectives of the research in mathematics and computer science is to obta...
Reconfigurability, understood as the ability of a system to behave differently in different modes of...
The paper introduces a software problem calculus based on a view of requirements engineering propose...
One of the problems with current practice in software development is that often customer requirement...
Hybridisation is a systematic process along which the characteristic features of hybrid logic, both ...
International audienceSoftware development usually involves a collection of properties, programs and...
This paper introduces a rigorous methodology for requirements specification of systems that react to...
Boilerplates are simplified, normative English texts,intended to capture software requirements in a ...
The aim of the programs in Computer Science is to educate and train students to understand the probl...
International audienceIn a previous paper, we defined both a unified formal framework based on L.-S....