Jose Nuno Oliveira's Books

This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2001, held in Berlin, Germany, in March 2001. The 32 revised full papers presented together with abstracts of three invited talks were carefully reviewed and selected from a total of 72 submissions. Focusing on increasing software productivity, all current aspects in formal methods are covered. Among the application areas addressed are avionics, smart cards, financial engineering, E-commerce, middleware, security, telecommunications, etc.

An introductory text to computer architecture, this comprehensive volume covers the concepts from logic gates to advanced computer architecture. It comes with a full spectrum of exercises and web-downloadable support materials, including assembler and simulator, which can be used in the context of different courses. The authors also make available a hardware description, which can be used in labs and assignments, for hands-on experimentation with an actual, simple processor.This unique compendium is a useful reference for undergraduates, graduates and professionals majoring in computer engineering, circuits and systems, software engineering, biomedical engineering and aerospace engineering.Related Link(s)

This volume holds a collection of articles based on the talks presented at ICDEA 2007 in Lisbon, Portugal. The volume encompasses current topics on stability and bifurcation, chaos, mathematical biology, iteration theory, nonautonomous systems, and stochastic dynamical systems.

Machine generated contents note.

This book constitutes the refereed proceedings of the TFM 2009, held in Eindhoven, The Netherlands in November 2009. The 10 revised full papers presented together with an abstracts of invited talk were carefully reviewed and selected from 19 submissions. The papers presented explore the experiences of teaching FMs, both successful and unsuccessful, educational resources including the use of books, case studies and the internet, the education of weak and mathphobic students, the integration, or otherwise, of FMs into the curriculum, including, contributions to the definition of a Formal Methods Body of Knowledge (FMBOK), the advantages of FM-trained graduates in the workplace, changing attitudes towards FMs in students, academic staff and practitioners and the necessary mathematical background.

Book's by Jose Nuno Oliveira

FME 2001: Formal Methods for Increasing Software Productivity

FME 2001: Formal Methods for Increasing Software Productivity

Computer Architecture: Digital Circuits To Microprocessors

Computer Architecture: Digital Circuits To Microprocessors

Discrete Dynamics and Difference Equations

Discrete Dynamics and Difference Equations

Holland House and Portugal, 17931840

Holland House and Portugal, 17931840

Teaching Formal Methods

Teaching Formal Methods

Username

Password

Username

Password

Password again

Birthday

Email