Follow
Jose N. Oliveira
Title
Cited by
Cited by
Year
A reification calculus for model-oriented software specification
JNF Oliveira
Springer Verlag, 1990
721990
Quality 4.0: the EFQM 2020 model and industry 4.0 relationships and implications
L Fonseca, A Amaral, J Oliveira
Sustainability 13 (6), 3107, 2021
682021
Software reification using the SETS calculus
JN Oliveira
5th Refinement Workshop, 140-171, 1992
681992
Typing linear algebra: A biproduct-oriented approach
HD Macedo, JN Oliveira
Science of Computer Programming 78 (11), 2160-2191, 2013
652013
Type-safe two-level data transformation
A Cunha, JN Oliveira, J Visser
International Symposium on Formal Methods, 284-299, 2006
552006
Transforming Data by Calculation
JN Oliveira
Generative and Transformational Techniques in Software Engineering II …, 2007
532007
Extended static checking by calculation using the pointfree transform
JN Oliveira
International LerNet ALFA Summer School on Language Engineering and Rigorous …, 2008
382008
State-based components made generic
LS Barbosa, JN Oliveira
Electronic Notes in Theoretical Computer Science 82 (1), 39-56, 2003
382003
Verifying Intel flash file system core specification
MA Ferreira, SS Silva, JN Oliveira
Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture …, 2008
372008
Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
R Backhouse, JN Oliveira
Springer, 2006
362006
Transposing partial components--An exercise on coalgebraic refinement
LS Barbosa, JN Oliveira
Theoretical computer science 365 (1-2), 2-22, 2006
362006
Pointfree factorization of operation refinement
JN Oliveira, CJ Rodrigues
International Symposium on Formal Methods, 236-251, 2006
332006
Towards a linear algebra of programming
JN Oliveira
Formal Aspects of Computing 24 (4), 433-458, 2012
312012
A linear algebra approach to OLAP
HD Macedo, JN Oliveira
Formal Aspects of Computing 27 (2), 283-307, 2015
302015
Programming from Galois connections
SC Mu, JN Oliveira
The Journal of Logic and Algebraic Programming 81 (6), 680-704, 2012
292012
'Galculator': functional prototype of a Galois-connection based proof assistant
PF Silva, JN Oliveira
Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008
262008
An integrated formal methods tool-chain and its application to verifying a file system model
MA Ferreira, JN Oliveira
Brazilian Symposium on Formal Methods, 153-169, 2009
252009
Strategic term rewriting and its application to a VDMSL to SQL conversion
TL Alves, PF Silva, J Visser, JN Oliveira
FM 2005: Formal Methods, 399-414, 2005
252005
From algebras to objects: Generation and composition
AM Cruz, LS Barbosa, JNF Oliveira
Know-Center, Graz, Austria, 2005
242005
Reverse program calculation supported by code slicing
G Villavicencio, JN Oliveira
Proceedings Eighth Working Conference on Reverse Engineering, 35-45, 2001
222001
The system can't perform the operation now. Try again later.
Articles 1–20