Zoekresultaten
Resultaat 1 - 6 (van 6)
L. Ferreira Pires | Chris A. Vissers | Marten van Sinderen Advances in architectural concepts to support distributed systems design
Non-fictie
Engels | 25 pagina's | University of Twente, Department of Computer Science and Department of Electrical Engineering, Enschede | 1993
Gedrukt boek
Chris A. Vissers | Marten van Sinderen | L. Ferreira Pires What makes industries believe in formal methods
Non-fictie
Engels | 27 pagina's | University of Twente, Department of Computer Science and Department of Electrical Engineering, Enschede | 1993
Gedrukt boek
L. Ferreira Pires | Marten van Sinderen | Chris A. Vissers On the use of pre-defined implementation constructs in distributed systems design
Non-fictie
Engels | University of Twente, Department of Computer Science and Department of Electrical Engineering, Enschede | 1992
Gedrukt boek
Marten van Sinderen | L. Ferreira Pires | Chris A. Vissers Protocol design and implementation using formal methods
Non-fictie
Engels | 25 pagina's | University of Twente, Department of Computer Science and Department of Electrical Engineering, Enschede | 1992
Gedrukt boek
Chris A. Vissers | L. Ferreira Pires | Jeroen van de Lagemaat Lotosphere, an attempt towards a design culture
Non-fictie
Engels | 30 pagina's | University of Twente, Department of Computer Science and Department of Electrical Engineering, Enschede | 1992
Gedrukt boek
L. Ferreira Pires | Chris A. Vissers Overview of the Lotosphere Design Methodology
Non-fictie
Engels | 15 pagina's | University of Twente, Department of Computer Science, Enschede | 1990
Gedrukt boek