Normalization "is " Data Reification (2008)
C. J. Rodrigues, J. N. Oliveira
Abstract. This report presents a constructive, calculational approach to relational database normalization theory.The main corpus of the report is devoted to showing that relational database model...
Abstract. When software designers refer to the relational calculus, what they usually mean is the set-theoretic kernel of relational database design “à la Codd” and not the calculus of binary...
From algebras to objects: Generation and composition (2005)
Abstract: This paper addresses objectification, a formal specification technique which inspects the potential for object-orientation of a declarative model and brings the ’implicit objects ’...
Strategic term rewriting and its application to a VDM-SL to SQL conversion (2005)
T. L. Alves, P. F. Silva, J. Visser, J. N. Oliveira
Abstract. We constructed a tool, called VooDooM, which converts datatypes in VDM-SL into SQL relational data models. The conversion involves transformation of algebraic types to maps and products,...
Transposing relations: from Maybe functions to hash tables (2004)
J. N. Oliveira, C. J. Rodrigues
Abstract. Functional transposition is a technique for converting relations into functions aimed at developing the relational algebra via the algebra of functions. This paper attempts to develop a...
Coinductive Interpreters for Process Calculi (2002)
Abstract. This paper suggests functional programming languages with coinductive types as suitable devices for prototyping process calculi. The proposed approach is independent of any particular...
Coinductive Interpreters for Process Calculi (2002)
Abstract. This paper suggests functional programming languages with coinductive types as suitable devices for prototyping process calculi. The proposed approach is independent of any particular...
Converting Informal Meta-data to VDM-SL: A Reverse Calculation Approach (1999)
F. L. Neves, J. C. Silva, J. N. Oliveira
Enterprise competitiveness in the information age is very much dependent on the quality of the underlying information systems. These provide crucial support to as important tasks as strategic...
Converting Informal Meta-data to VDM-SL: A Reverse Calculation Approach (1999)
F. L. Neves, J. C. Silva, J. N. Oliveira
A Workshop co-located with FM'99: The World Congress on Formal Methods
"Explosive" Programming Controlled by Calculation (1998)
. In the design of a functional library in the area of data-mining several algorithmic patterns have been identified which call for generic programming. Some of these have to do with flattening...
"Fractal" Types: an Attempt to Generalize Hash Table Calculation (1998)
ion Invariant Generic Calculation SETS stands for "Set-based specification", where Set is the category of functions on (countable) sets. It is a calculus of abstraction invariants as...
Camila: Prototyping and refinement of constructive specifications (1997)
J. J. Almeida, L. S. Barbosa, F. L. Neves, J. N. Oliveira
Abstract. This paper accompanies the demonstration of Camila, an experimental platform for formal software development, rooted in the tradition of constructive specification methods. The Camila...
CAMILA: Formal Software Engineering Supported by Functional Programming (1997)
J. J. Almeida, L.S. Barbosa, F. L. Neves, J. N. Oliveira
. This paper describes two experiences in teaching a formal approach to software engineering, at undergraduate level, supported by Camila, a functional programming based tool. Carried on in different...
Bringing CAMILA and SETS Together - the bams.cam and ppd.cam CAMILA Toolset Demos (1997)
J. J. Almeida, L.B. Barbosa, F. L. Neves, J. N. Oliveira
ion Invariant Synthesis For each step i = 1; 5 above we record abstraction function f i (that is, function absi in bams.cam 2 ) and concrete invariant OE i (implicitly assumed in bams.cam): ¸ =1 ae...
A Reification Calculus for Model-Oriented Software Specification (1990)
Abstract. This paper presents a transformational approach to the derivation of implementations from model-oriented specifications of abstract data types. The purpose of this research is to reduce the...
The Transformational Paradigm as a Means of Smoothing Abrupt Software Design Steps (1985)
Current state-of-the-art methods and specification languages devised for software design have not yet accomplished a completely satisfactory calculus of formal rules enabling a smooth, deductive...