J.N. Oliveira

Other papers, talks, reports etc

2024

• J.N. Oliveira. On the Relational Basis of Early R/G Work. In The Practice of Formal Methods: Essays in Honour of Cliff Jones, LNCS 14781, pages 56-76, 2024

• P. Silva, J.N. Oliveira, N. Macedo and A. Cunha. Alloy Goes Fuzzy. Proc. ABZ 2024, LNCS 14759, pages 61-79, 2024.

• F.L. Neves, J.N. Oliveira. First Steps towards K-12 Computer Science Education in Portugal Experience Report, 2024, doi.org/10.48550/arXiv.2411.10142.

• J.N. Oliveira. “How much is in a square?” An appraisal of relational thinking. Contributed talk to IFIP WG 2.1 #81, Kloster Neustadt, Germany, 4th April 2024.

2023

• J.N. Oliveira. ENSICO and the new “Trivium” for Computing in Schools. InfoBlender talk, HASLab/INESC TEC / U.Minho, 22nd February 2023. (Slides).

2022

• Martins, J.M. Fonseca, R. Costa, J.C. Campos, A. Cunha, N. Macedo, J.N. Oliveira. Verification of Railway Network Models with EVEREST. MODELS’22, pages 345–355. ACM/IEEE 25th Int. Conference on Model Driven Engineering Languages and Systems, 23-28 October 2022, Montereal, Canada.
• J.N. Oliveira. Why adjunctions matter. Invited talk, WADT’22, Aveiro, 30 June 2022. (Slides).

2021

• J.N. Oliveira. On the power of adjoint recursion. Contributed talk to IFIP WG 2.1 Short On-line Meeting #O6, 26 October 2021.

2020

• A. Santos, J.N. Oliveira. Type Your Matrices for Great Good (Functional Pearl). Proceedings of the Haskell Symposium 2020, 27-28 August 2020, pages 54-66.
• J.N. Oliveira. A Note on the Under-Appreciated For-Loop. Technical Report TR-HASLab:01:2020, HASLab/U.Minho and INESC TEC.
• J.N. Oliveira. Biproducts of Galois connections. Contributed talk to IFIP WG 2.1 Meeting #79, Otterlo (NL), January 2020.

2018

• J.M. Afonso, F. Oliveira, B. Ribeiro, R. Pontes, G. Fernandes, J.P. Fernandes, J.N. Oliveira, A.J. Proenca. Typed Linear Algebra for Efficient Analytical Querying. Ref: arXiv:1809.00641, Sep, 2018.
• J.N. Oliveira. Compiling quantamorphisms for the IBM Q-Experience. Contributed talk to IFIP WG 2.1 Meeting #77, Brandenburg, Germany, July 2018.
• J.N. Oliveira. Preparing programmers for quantum. Porto Tech Hub 2018, May 2018.
• J.N. Oliveira (joint work with R.S. Barbosa and A. Neri). Towards quantamorphisms - some thoughts on (constructive) reversibility, talk at NII, Tokyo, 23 Jan 2018.
• J.N. Oliveira. Programming from Metaphorisms. Journal paper. JLAMP Volume 94, January 2018, Pages 15-44 (DOI:10.1016/j.jlamp.2017.09.003). See slides of homonym talk at TTÜ Küberneetika Instituut, Tallinn, Apr 28th, 2016.

2017

• J.N. Oliveira and H.D. Macedo. The data cube as a typed linear algebra operator. In Proc. of the 16th Int. Symposium on Database Programming Languages, DBPL ‘17, pages 6:1-6:11, New York, NY, USA, 2017. ACM. (DOI:10.1145/3122831.3122834; Slides.)
• R. Pontes, M. Matos, J.N. Oliveira, J.O. Pereira. Implementing a Linear Algebra Approach to Data Processing. LNCS 10223, 215-222, 2017.
• J.N. Oliveira. Going quantitative in software modeling (Slides). Contributed talk to the Trust 2nd Workshop, Braga, Oct 2017.
• J.N. Oliveira. Measuring probabilistic contracts. Contributed talk to IFIP WG 2.1 Meeting #75, Montevideo, Febr 2017.
• J.N. Oliveira. First steps in a (linear) algebra of (quantum) functional programming . Contributed talk to IFIP WG 2.1 Meeting #75, Montevideo, Febr 2017.

2016

• V.C. Miraldo, J.N. Oliveira, ‘Keep definition, change category’ – a practical approach to state-based system calculi. In Journal of Logical and Algebraic Methods in Programming, Volume 85, Issue 4, June 2016, pages 449-474. DOI: 10.1016/j.jlamp.2015.11.007.
• C.M. Necco, J.N. Oliveira, J. Visser and R. Uzal. Computer Aided Verification of Relational Models. Pages 647-658 of the proc. of CACIC’16, San Luis, Argentina, 3-7th October, 2016.
• J.N. Oliveira. What can Industry 4.0 learn from software engineering? Special lecture 2, Opening Session Programme, CIRP’16, Guimarães, 21-27th August 2016.
• J.N. Oliveira. On the ‘divide & conquer’ metaphor - the ‘quinta essentia’ of programming. InfoBlender talk, HASLab/INESC TEC & U.Minho, 13th Jul. 2016. (Slides).
• J.N. Oliveira. Towards a linear algebra semantics for query languages. Contributed talk to IFIP WG 2.1 Meeting #74, University of Strathclyde in Glasgow, June 2016. (Slides of this talk, also given at the School of Computer Science of the Univ. of Newcastle, UK, and TTÜ Küberneetika Instituut, Tallinn).
• J.N. Oliveira, ‘Keep definition, change category’ – a practical approach to monadic model evolution. Seminar, TTÜ Küberneetika Instituut, Tallinn, Apr 21st, 2016.
• J.N. Oliveira. Exploiting Galois connections for ‘Rely/Guarantee Thinking’ Technical Report TR-HASLab:01:2016, May 2016.

2015

• D. Murta and J.N. Oliveira. A study of risk-aware program transformation. Science of Computer Programming, 110:51-77, 2015. DOI: 10.1016/j.scico.2015.04.008
• J.N. Oliveira. Metaphorisms in Programming. In RAMICS 2015, volume 9348 of LNCS, pages 171-190. Springer, 2015. DOI: 10.1007/978-3-319-24704-5_11 (Slides)
• H.D. Macedo and J.N. Oliveira. A linear algebra approach to OLAP. Formal Aspects of Computing, 27(2):283-307, 2015.
• J.N. Oliveira. Why category theory matters: a functional programmer’s perspective. Tutorial talk, AMS/EMS/SPM 2015 Meeting (Special Session 7), FCUP, Porto. 13th June 2015.

2014

• J.N. Oliveira. On the ‘A’ that links the ‘M’s of Maths, Music and Maps (‘Da Capo’). Presented at Lab. de I&D de Computação Sonora e Musical, FEUP, Porto, 10 December 2014.
• J.N. Oliveira. A relation-algebraic approach to the “Hoare logic” of functional dependencies. Journal of Log. Algebraic Programming, Volume 83, Issue 2, March 2014, Pages 249-262 (DOI:10.1016/j.jlap.2014.02.013).
• J.N. Oliveira. Preparing Relational Algebra for “Just Good Enough” Hardware. In RAMiCS, volume 8428 of LNCS, pages 119-138 (DOI: 10.1007/978-3-319-06251-8_8), Springer Berlin / Heidelberg, 2014. (Slides of presentation.)

2013

• J.N. Oliveira, M.A. Ferreira. Alloy Meets the Algebra of Programming: A Case Study. IEEE Transactions on Software Engineering, vol. 39, no. 3, pp. 305-326, March 2013, doi:10.1109/TSE.2012.15.
• J.N. Oliveira. Weighted automata as coalgebras in categories of matrices. Journal paper. IJFSC Vol. 24, No. 6 (2013), 709-728, World Scientific Pub. Comp. http://dx.doi.org/10.1142/S0129054113400145.
• J.N. Oliveira. On the ‘A’ that links the ‘M’s of Maths, Music and Maps. Contributed talk to the 2013 CEHUM Autumn Colloquium XV (Maths and Computer Science Panel), U.Minho, Braga, 21-23 November 2013.
• J.N. Oliveira. Calculating Risk in functional programming. Contributed talk to IFIP WG 2.1 Meeting #70, Ulm, Germany, July 2013.
• D. Murta and J.N. Oliveira. Calculating fault propagation in functional programs. Technical Report TR-HASLab:01:2013, May 2013.
• N. Macedo, H. Pacheco, A. Cunha, J.N. Oliveira. Composing least-change lenses. In P. Stevens, J. Terwilliger, editors, BX’13, Electronic Communications of the EASST, 2013. ISSN 1863-2122.
• J.N. Oliveira. Computer-aided musicology: challenges and opportunities. Slides (in Portuguese). Contribution to the Maths Afternoons seminar series. Portuguese Mathematics Society (SPM), Braga, March 9th, 2013.

2012

• J.N. Oliveira. Calculating Fault Propagation in Functional Programs using the Linear Algebra of Programming (LAoP). Talk at HASLab seminar, 5th-Dec-2012. (Repeated at FEUP, 30-Jan-2013.)
• J.N. Oliveira. Typed linear algebra for weighted (probabilistic) automata. LNCS Volume 7381/2012, 52-65 (DOI: 10.1007/978-3-642-31606-7_5). 17th Int. Conf. on Implementation and Application of Automata, Porto (invited talk). [Slides] [Superseded by http://dx.doi.org/10.1142/S0129054113400145]
• Shin-Cheng Mu and J.N. Oliveira. Programming from Galois connections. The Journal of Logic and Algebraic Programming 81:680-704 (2012) (DOI:10.1016/j.jlap.2012.05.003).
• J.N. Oliveira. Towards a Linear Algebra of Programming. (DOI:10.1007/s00165-012-0240-9) Formal Asp. Comput., 24 (4-6): 433-458, 2012.
• J.J. Almeida, N.R. Carvalho, and J.N. Oliveira. Wiki::score – a collaborative environment for music transcription and publishing. Information Services and Use, 31(3-4):177-187, 2011. DOI 10.3233/ISU-2012-0647.
• J.N. Oliveira. Functions as types or the ‘Hoare logic’ of functional dependencies”. Available from arXiv:1210.4661v1 [cs.LO], May 2012. [Superseded by DOI:10.1016/j.jlap.2014.02.013]

2011

• H.D. Macedo and J.N. Oliveira. Towards Linear Algebras of Components. LNCS 6921, pp. 300-303, 2011.
• H.D. Macedo and J.N. Oliveira. Do the two middle letters of “OLAP” stand for Linear Algebra (“LA”)? Technical Report TR-HASLab:04:2011, July 2011. (See also H. Macedo’s research blog and the slides of a talk at Software Improvement Group on this subject).
• J.N. Oliveira. Pointfree foundations for (generic) lossless decomposition. Technical Report TR-HASLab:03:2011, HASLab, University of Minho and INESC TEC, Gualtar Campus, Braga, 2011.
• Shin-Cheng Mu and J.N. Oliveira. Programming from Galois connections. Conference paper, pages 294-313 of LNCS volume 6663. (Superseded by DOI:10.1016/j.jlap.2012.05.003).
• J.N. Oliveira. On the meaning of curry(M) for M a matrix. Contributed talk to IFIP WG 2.1 Meeting #67, Reykjavik, Iceland, May 2011.
• J. Ferreira, A. Mendes, A. Cunha, C. Baquero, P. Silva, L. Barbosa and J.N. Oliveira. Logic training through algorithmic problem solving. LNCS 6680, pages 62-69, 2011.
• L. Couto, J.N. Oliveira, M.A. Ferreira, E. Bouwers. Preparing for a Literature Survey of Software Architecture using Formal Concept Analysis. Proc. of the SQM’2011 workshop, colocated with CSMR 2011, Oldenburg, Germany.

2010

• Shin-Cheng Mu and J.N. Oliveira. Programming from Galois Connections — Principles and Applications Academia Sinica, Taiwan, Technical Report No. TR-IIS-10-009, Dec. 16, 2010.
• J.N. Oliveira. Hands on a Verification Challenge: Proving a Journaled File System Correct. Inforum 2010 (invited talk), 10-Sep 2010.
• J.N. Oliveira. A (Calculational) Look at Optimization. Talk at the 1st Workhsop of the Mondrian Project, Aveiro, 9-July 2010.
• H.D. Macedo and J.N. Oliveira. Matrices As Arrows! A Biproduct Approach to Typed Linear Algebra. In MPC 2010, volume 6120 of Lecture Notes in Computer Science, pages 271-287. Springer, 2010.
• H.D. Macedo and J.N. Oliveira. Can we teach computers to generate fast OLAP code? Technical note (see the corresponding HASLab talk on the 9th of June).
• M.A. Ferreira and J.N. Oliveira. Variations on an Alloy-centric tool-chain in verifying a journaled file system model. Technical Report DI-CCTC-10-07, DI/CCTC, University of Minho, Gualtar Campus, Braga, January 2010.
• J.N. Oliveira. An AoP Approach to Typed Linear Algebra. Talk at IFIP WG 2.1 #65 Meeting, Póvoa de Lanhoso, Portugal, January 2010.
• J.N. Oliveira. A Look at Program ``G’‘alculation. Talk at IFIP WG 2.1 #65 Meeting, Póvoa de Lanhoso, Portugal, January 2010.
• J.N. Oliveira. Computing theories refactoring via the PF-transform: the data dependency case study (extended abstract; slides). Habilitation Lecture, University of Minho, Jan. 12th 2010.

2009

• M.A. Ferreira and J.N. Oliveira. An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model. In M.V. Oliveira and J. Woodcock, editors, SBMF, volume 5902 of LNCS, pages 153-169. Springer, 2009.
• C.J. Rodrigues, J.N. Oliveira and L.S. Barbosa. A single complete relational rule for coalgebraic refinement. Refinement Workshop 2009 (an workshop of the FMWeek), Eindhoven, 3 Nov 2009.
• P.F. Silva, J. Visser, and J.N. Oliveira. Galois: A Language for Proofs Using Galois Connections and Fork Algebras, 2009. PLMMS’09 - ACM SIGSAM 2009 International Workshop on Programming Languages for Mechanized Mathematics Systems. Munich, Germany; August 21.
• J.N. Oliveira. Extended Static Checking by Calculation using the Pointfree Transform . In A. Bove et al., editor, LerNet ALFA Summer School 2008, volume 5520 of LNCS, pages 195-251. Springer-Verlag, 2009.
• J.N. Oliveira. Towards “middle school MPC”. Talk at IFIP WG 2.1 #64 Meeting, Weltenburg, Germany, March-April 2009.
• J.N. Oliveira. Calculating with Pointfree Alloy. Talk at IFIP WG 2.1 #64 Meeting, Weltenburg, Germany, March-April 2009.

2008

• Paulo F. Silva, J.N. Oliveira. ‘Galculator’: functional prototype of a Galois-connection based proof assistant. In PPDP ‘08: Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming, pages 44-55, New York, NY, USA, 2008. ACM.
• J.N. Oliveira. Transforming Data by Calculation. In GTTSE’07, volume 5235 of LNCS, pages 134-195. Springer, 2008.
• L.S. Barbosa, J.N. Oliveira, and A.M. Silva. Calculating Invariants as Coreflexive Bisimulations. In AMAST’08, LNCS 5140: 83-99. Springer, 2008.
• Shuling Wang, L.S. Barbosa, J.N. Oliveira. A Relational Model for Confined Separation Logic. In TASE 2008, pages 263-270, Los Alamitos, CA, USA, 2008. IEEE Computer Society.
• M.A. Ferreira, S.S. Silva, and J.N. Oliveira. Verifying Intel flash file system core specification. Pages 54-71 in (J.S. Fitzgerald, P.G. Larsen, and S. Sahara, editors) Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop. School of Computing Science, Newcastle University, 2008. Technical Report CS-TR-1099. [ Slides: PDF ]

2007

• J.N. Oliveira. Data Transformation by Calculation In GTTSE 2007 Proceedings, pages 139-198, June 2007. International Summer School, July 2-7. Tutorial slides: (PDF). Superseded by pages 134-195 of LNCS volume 5235.
• C. Necco, J.N. Oliveira, and J. Visser. Extended static checking by strategic rewriting of pointfree relational expressions. Technical Report FAST:07.01, CCTC Research Centre, University of Minho, 2007.

2006

• J.N. Oliveira. Data dependency theory made generic – by calculation, December 2006. Presentation at the IFIP WG 2.1 #62 Meeting, Namur, Belgium.
• J.N. Oliveira, A. Silva, and L.S. Barbosa. Invariants as coreflexive bisimulations – in a coalgebraic setting, December 2006. Presentation at the IFIP WG 2.1 #62 Meeting, Namur, Belgium.
• J.N. Oliveira. Reinvigorating pen-and-paper proofs in VDM: the pointfree approach , 2006. Presentation at the Third OVERTURE Workshop , Newcastle, UK, 27-28 November
• L.S. Barbosa and J.N. Oliveira. Transposing Partial Components – an Exercise on Coalgebraic Refinement. TCS 365 (2006): 2-22 [ slides of a presentation related to this paper ]
• M.A. Cunha, J.N. Oliveira, J. Visser. Type-safe two-level data transformation. FM’06 , LNCS 4085:284-289. Springer, 2006. [slides in PDF ]
• J.N. Oliveira and C.J. Rodrigues. Pointfree Factorization of Operation Refinement. FM’06 , LNCS 4085:236-251. Springer, 2006. [slides in PDF ]
• B. Cortes and J.N. Oliveira. Relational sampling for data quality auditing and decision support. In I. Seruca, J. Cordeiro, S. Hammoudi, and J. Filipe, editors, Enterprise Information Systems VI . Springer, 2006. ISNB: 1-4020-3674-4.
• C.M. Necco, J.N. Oliveira, L. Quintas. A functional approach for on line analytical processing, 2006. WISBD, III Workshop de Ingeniería de Software y Bases de Datos. CACIC’06, XII Congreso Argentino de Ciencias de la Computación, Universidad Nacional de San Luis, Argentina.

2005

• A. Cruz, L. Barbosa, and J. Oliveira. From Algebras to Objects: Generation and Composition. JUCS, 11(10):1580-1612, 2005.
• T.L. Alves, P.F. Silva, J. Visser, J.N. Oliveira. Strategic term rewriting and its application to a VDM-SL to SQL conversion. FM’05, LNCS 3582:399-414. Springer, 2005.
• Joost Visser, J.N. Oliveira, L.S. Barbosa, J.F. Ferreira, and A. Mendes. Camila Revival: VDM meets Haskell , July 2005. Presented at the Overture Workshop, July 18, co-located with FM 2005: 13th International Symposium on Formal Methods, University of Newcastle upon Tyne, United Kingdom - July 18-22, 2005.
• J.N. Oliveira. Functional dependency theory made ‘simpler’. Technical Report DI-PURe-05.01.01, DI/CCTC, University of Minho, Gualtar Campus, Braga, 2005.
• J.N. Oliveira. First steps in pointfree functional dependency theory, 2005. Unpublished manuscript (PDF ), DI/UM, Universidade do Minho.
• C. Necco and J.N. Oliveira. Toward generic data processing. In Proc. WISBD’05 , a workshop of CACIC’05 (XI Congreso Argentino de Ciencias de la Computación, 17-21 Oct. 2005, Concordia - Entre Ríos - Argentina)., October 2005.

2004

• FME Subgroup on Education (convenor: J.N. Oliveira). A Survey of Formal Methods Courses in European Higher Education. CoLogNet / FME TFM’04 , LNCS 3294:235-248. Springer, 2004. Web version (HTML) available from http://www.fmeurope.org/ -> Formal Methods -> Education.
• Calculate databases with `simplicity’, September 2004. Presentation at the IFIP WG 2.1 #59 Meeting, Nottingham, UK.
• J.N. Oliveira and C.J. Rodrigues. Transposing relations: from Maybe functions to hash tables. , MPC’04 , LNCS 3125:334-356. Springer, 2004.
• B. Cortes and J.N. Oliveira. Relational sampling for data quality auditing and decision support. In ICEIS’04 : 6th International Conference on Enterprise Information Systems, volume 1, pages 376-382, April 2004. Porto, 14-17 April (ISBN 972-8865-00-7).

2003

• L.S. Barbosa and J. N. Oliveira. State-based components made generic. In H. Peter Gumm, editor, Elect. Notes in Theor. Comp. Sci. (CMCS’03 - Workshop on Coalgebraic Methods in Computer Science), volume 82.1, Warsaw, April 2003.

2002

• Ana Cristina Paiva, João Pascoal Faria, Raul Moreira Vidal and J.N. Oliveira. Métodos formais na especificação de interfaces com o utilizador: a linguagem VDM++ e o tratamento de eventos. Actas da 3ª Conferência da Associação Portuguesa de Sistemas de Informação, ISBN - 972-97548-7-X, 20-22 de Novembro.
• C.M. Necco and J.N. Oliveira. Generic data processing: A normalization exercise, 2002. Presented at CACIC’02 : 8th Argentinian Computer Science Congress, Univ. Buenos Aires, 15-18th October.
• L.S. Barbosa, J.N. Oliveira. Coinductive Interpreters for Process Calculi. LNCS 2441, pp. 183-197, 2002. (FLOPS 2002 - 6th International Symposium on Functional and Logic Programming, University of Aizu, Aizu, Japan, September 15-17, 2002).
• On the Design of a ‘Periodic Table’ of VDM Specifications. Invited talk at the VDM’02 workshop, held in conjunction with FME’02 in Copenhagen on 20-21 July 2002.
• Towards Formal Software Development in VS.NET . MSDN Seminars, 2002, May 14th (Lisbon), May 16th (Porto) (slides).

2001

• G. Villavicencio and J.N. Oliveira. Formal reverse calculation supported by code slicing . In Proceedings of the Eighth Working Conference on Reverse Engineering (WCRE 2001) 2-5 October 2001, Stuttgart, Germany, pages 35-46. IEEE Computer Society, 2001.
• Bagatelle in C arranged for VDM SoLo. Journal of Universal Computer Science, 7(8):754-781, 2001. Special Issue on Formal Aspects of Software Engineering (Colloquium in Honor of Peter Lucas , Institute for Software Technology, Graz University of Technology, May 18-19, 2001).
• Data processing by calculation. Lecture notes for the 6th Estonian Winter School in Computer Science, 4-9 March 2001, Palmse, Estonia.
• Recursion in the pointfree style. Departamento de Informática, Universidade do Minho. Chapter of book in preparation (incomplete draft: 33p.).

2000

• T. Denvir, J.N. Oliveira, and N. Plat. The Cash-Point (ATM) `Problem’ . Formal Aspects of Computing, pages 211-215, 2000.

1999

• A Hierarchical Polytypic Construction and Associated Reduction Morphisms. Presented at the Joint ACL/LOGCOMP Meeting, 10-11 February 1999, Hotel D. Luiz, Coimbra, Portugal.
• Converting Informal Meta-data to VDM-SL: A Reverse Calculation Approach (by , J.C. Silva and J.N. Oliveira). In VDM in Practice! (Workshop co-located with FM’99, Toulouse, France, 20-21 September 1999.
• An introduction to pointfree programming , 1999. 37p. (chapter of book in preparation).
• Fight Induction! deduction is Forever , 1999. Presented at the LOGCOMP Meeting, 6 December 1999, IST, Lisbon, Portugal.

1998

• Software Design by Calculation in the CAMILA Toolset . Seminar presented at the IMADA Institute , Odense University, 3rd February 1998, Denmark.
• ‘Fractal’ Types: an Attempt to Generalize Hash Table Calculation . Presented at WGP98 , June 18, 1998, Marstrand, Sweden.
• CAD Tool Extension for Formal Building Description Language. in Advances in Engineering Software, Vol.29,No. 7-9, pp. 571-586, 1998, Elsevier Science Ltd and Civil-Comp Ltd.
• “Explosive” Programming Controlled by Calculation. Presented at AFP’98 , Sept., 1998, Braga, Portugal.
• ART: Um Laboratório de Reificação Genética. (by F.L. Neves, J.N. Oliveira) . In Proc. Iberamia 1998, Oct. 5-9, Lisbon, Portugal.
• Data Quality: Do It Formally? (by J.V. Ranito, L.M. Henriques, L.M. Ferreira, F.L. Neves, J.N. Oliveira). Proc. of IASTED’98 (SE) (IASTED Conf. on Software Engineering), Oct. 28-31, Las Vegas, USA, pp. 260-262, Acta Press, Calgary - Zurich.

1997

• Formal Specification, Rapid Prototyping and Program Calculation — an Industrial Experiment using the CAMILA/SETS Approach . Seminar at UNU/IIST, Macau, 6 of May 1997.
• An Experiment in CAD Tool Formal Specification . Seminar at UNU/IIST, Macau, 7 of May 1997.
• Formal Calculi Applied to Software Component Classification and Retrieving . Seminar at UNU/IIST, Macau, 9 of May 1997.
• A Calculational Approach to Reverse Specification . Seminar at UNU/IIST, Macau, 13 of May 1997.
• Can Distribution Be (Statically) Calculated? . Seminar at UNU/IIST, Macau, 16 of May 1997.
• University Education in Formal Methods - Report on the Minho Experience . in Training & Education Workshop , FME’97 , Graz, Austria, 15-19 September, 1997.
• CAMILA: Formal Software Engineering Supported by Functional Programming</em> </a> (by [J.J. Almeida](http://www.di.uminho.pt/%7Ejj/), [L.S. Barbosa](http://www.di.uminho.pt/%7Elsb/), [F.L. Neves](http://s700.uminho .pt/%7Efln/), [J.N. Oliveira](http://www.di.uminho.pt/%7Ejno/)). Presented at [CLaPF-97](http://www-lifia.info.unlp.edu.ar/~lambda/second/english): 2nd Latin-American Conference on Functional Programming, Oct. 3-4, La Plata, Argentina.
• CAMILA: Prototyping and Refinement of Constructive Specifications (by J.J. Almeida, L.S. Barbosa, F.L. Neves, J.N. Oliveira). Presented at AMAST’97: Sixth International Conference on Algebraic Methodology and Software Technology, 13-17 December 1997, Macquarie University, Sydney, Australia.
• Bringing CAMILA and SETS Together — the bams.cam and ppd.cam CAMILA Toolset Demos (by J.J. Almeida, L.S. Barbosa, F.L. Neves, J.N. Oliveira) . Technical Report, 45 p., DI/UM, Braga, December 1997.
• Normalization is Data Reification. Technical report, University of Minho, Dec. 1997.

1996

• On the Development of a Meta-CASE Object-Oriented Software Architecture (by F.M.Martins, J.N.Oliveira, L.Neves, A.N. Ribeiro). Proc. of OOP’96-Object Oriented Portugal’96 Conference, Lisbon, Portugal, 1-3 October, 1996.

1995

• Fuzzy Object Comparison and Its Application to a Self-Adaptable Query Mechanism. Proceedings of IFSA’95 - 6th International Fuzzy Systems Association World Congress, S. Paulo, 22-28 July 1995, Volume I, 245-248.
• Classifying Internet Objects (by L.Neves and J.Oliveira). Best Paper Award in Conferência Nacional “Informação Multimedia na Internet”, 6-8 July 1995, Braga, Portugal. Paper selected for presentation at the Fourth International World Wide Web Conference — ``The Web Revolution’’ — December 11-14, 1995, Boston, Massachusetts, USA.
• Software Reuse by Model Reification (by L.Neves and J.Oliveira). In WRIS’95 — 6th Annual Workshop on Software Reuse. August 28-30, 1995, St.Charles Il, Illinois, USA.
• Formal Specification and Prototyping of a Building Description Language. In “Developments in Computer Aided Design and Modelling for Structured Engineering”, 37-51, Volume B of the Proc. of the 4th International Conference on The Application of Artificial Intelligence to Civil and Structural Engineering, Cambridge, 28-30 August 1995.

1994

• Hash Tables: A Case Study in Sets-Calculation. Technical Report DI/INESC 94-12-1, INESC Group 2361, Braga, December 1994.
• SOUR++ or Some Ideas For the Future. Sour’94 — Advanced Techniques for Software Reuse, Braga, 15-17 Dec 1994.
• SOUR Modules: Comparator & Modifier. Sour’94 — Advanced Techniques for Software Reuse, Braga, 15-17 Dec 1994.
• Especificação Formal, Prototipagem e Cálculo de Programas - Um Caso na Indústria Inforum’94 — Controlo de Qualidade em Software, 7-8 October 1994, Braga.

1993

• Formal Calculi Applied to Software Component Knowledge Elicitation (by Oliveira J.N. & Cruz A.M.). Technical Report #C19-WP2D, Project “C.1.9. Sviluppo di Metodologie, Sistemi e Servizi Innovativi in Rete”, INESC Group 2361, Braga, December 1993.
• Classification and Reasoning in SOUR. EU-379 Workshop, INESC Lisbon, 25 February 1993.
• Components & Compositionality in SOUR. EU-379 Workshop, INESC Lisbon, 25 February 1993.
• The CAMILA Strategy for Software Reusability. ERCIM News 14, 13-14, July 1993.

1992

• Software Reification using the SETS Calculus. BCS FACS 5th Refinement Workshop, “Theory and Practice of Formal Software Development”, 8-10 January 1992, London, 140-171, Springer Verlag.
• HITEX: Um Sistema em Desenvolvimento para Historiadores e Arquivistas. in “Ler Historia”, 23 (1992) 127–138 (republicado na revista FORUM).

1991

• Historical Records Processing in the HiTeX System (by J.Oliveira, Araújo A. & Silva A.). In “Yesterday”, 149-168, Proc. of the 6th International Conference of the Association of History and Computing (AHC’91), Odense, Denmark, 28-30 Aug. 1991.

1990

• Archetype-Oriented User Interfaces (by Martins F.M. & Oliveira J.N.), Computers & Graphics, 17–28, Vol.14(1), 1900, Jan. 1990.
• A Reification Calculus for Model-Oriented Software Specification . Formal Aspects of Computing , Vol.2, 1-23, 1990, Springer Verlag.

<1990

• The Transformational Paradigm as a Means of Smoothing Abrupt Software Design Steps. Int.Report #CCES-JNO:R2/85, University of Minho, Dec.85.
• Using FP for Dataflow Program Development Through Flowgraph level Transformation (by Oliveira J.N., J.R.Gurd). Internal Report CCES-JNO/JRG:R1/85, September 1985, Univ. of Minho.
• Graphics Programming with `Archetypes’ - A Preliminary Study (by F.M. Martins, J.N. Oliveira). Proceedings of the EUROGRAPHICS’85 Conference, 401-412, September 1985, Nice, France.
• The Formal Semantics of Deterministic Dataflow Programs. Ph.D. Thesis, Department of Computer Science, University of Manchester, February 1984.
• An Analysis of Microcomputer Implementation of Pascal (by J.N. Oliveira, I.R. Wilson). Software-Practice & Experience, Vol.13, 373-384, John Wiley & Sons (1983).
• Pascal on Small Microcomputers. M.Sc. Thesis, Department of Computer Science, University of Manchester, October 1981.

---

back