E-LIB Suche - Ergebnisse für: Huizing, C.

1

A Structured Design Methodology for Concurrent Programming:

, In: Proceedings of the 6th Computer Science Education Research Conference,

Bijlsma, A. ; Huizing, C. ; Kuiper, R.... - p. 1-9 , 2017

2

Real-Time: Theory in Practice

REX Workshop, Mook, The Netherlands, June 3-7, 1991. Procee... Lecture Notes in Computer Science ; 600;SpringerLink, Bücher

Bakker, J.W.de ; Huizing, C. ; Roever, W.P.de. , 1992

Link: https://doi.org/10.1007/..

3

Introduction to design choices in the semantics of Statecha..:

Huizing, C. ; de Roever, W.P.
Information Processing Letters. 37 (1991) 4 - p. 205-213 , 1991

Link: https://doi.org/10.1016/..

4

Full abstraction of a real-time denotational semantics for ..:

, In: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages,

Huizing, C. ; Gerth, R. ; deRoever, W. P. - p. 223-236 , 1987

Link: https://dl.acm.org/doi/1..

5

Progressive Compromise of Nouns and Action Verbs in Posteri..:

Steeb, Brenda ; García-Cordero, Indira ; Huizing, Marjolein C....
Frontiers in Psychology. 9 (2018) - p. , 2018

Link: https://doi.org/10.3389/..

6

Fundamental Aspects in Modern Treatment of the Deaf Child:

Huizing, H. C.
The Journal of Laryngology & Otology. 78 (1964) 7 - p. 669-674 , 1964

Link: https://doi.org/10.1017/..

7

Towards verified Java code generation from concurrent state..:

Zhang, D ; Bosnacki, D ; Brand, van den, M.G.J...
https://research.tue.nl/en/publications/98622e25-b6c5-4602-99cd-fffcffeeb2d6. , 2014

Link: https://research.tue.nl/..

8

Towards verified Java code generation from concurrent state..:

Zhang, D ; Bosnacki, D ; Brand, van den, M.G.J...
https://research.tue.nl/en/publications/98622e25-b6c5-4602-99cd-fffcffeeb2d6. , 2014

Link: https://research.tue.nl/..

9

A proof system for invariants in layered OO designs:

Middelkoop, R ; Huizing, C ; Kuiper, R.
https://research.tue.nl/en/publications/67c2d04a-2e1d-4a48-9563-27ec029a61bb. , 2008

Link: https://research.tue.nl/..

10

Model-based specification of design patterns:

Bijlsma, A ; Geldrop - van Eijk, van, H.P.J ; Gool, van, L.C.M...
https://research.tue.nl/en/publications/215b9294-667c-4492-8951-1bd8b9e1ec63. , 1999

Link: https://research.tue.nl/..

11

A comparison of Ward & Mellor's transformation schema with ..:

Peleska, J ; Huizing, C ; Petersohn, C
https://research.tue.nl/en/publications/7ceae035-be92-4921-aca1-3f13f10e3038. , 1994

Link: https://research.tue.nl/..

12

Semantics of reactive systems : comparison and full abstrac..:

Huizing, C
https://research.tue.nl/en/publications/a4e7f4d6-445a-438f-b0d8-cd2a9934136b. , 1991

Link: https://research.tue.nl/..

13

Modelling Statecharts behaviour in a fully abstract way:

Huizing, C ; Gerth, R.T ; Roever, de, W.P
https://research.tue.nl/en/publications/e21afc4d-4a55-43c3-9f0f-7cdf54287f29. , 1988

Link: https://research.tue.nl/..

14

A compositional semantics for statecharts:

Huizing, C ; Gerth, R.T ; Roever, de, W.P
https://research.tue.nl/en/publications/c46ddeed-3364-4daf-a0d2-242ca9f295e2. , 1987

Link: https://research.tue.nl/..

15

Full abstraction of a denotational semantics for real-time ..:

Huizing, C ; Gerth, R.T ; Roever, de, W.P
https://research.tue.nl/en/publications/a03eec86-b9ee-4306-96ef-8a215c47043d. , 1986

Link: https://research.tue.nl/..