Software Engineering and Technology

Mengerink, J. G. M., Schiffelers, R. R. H., Serebrenik, A. & Brand, van den, M. G. J., 2015, Eindhoven: Technische Universiteit Eindhoven. 10 blz. (Computer science reports; vol. 1504)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

308 Downloads (Pure)

Generalised tally-based decoders for traitor tracing and group testing

Skoric, B. & Groot, de, W., 2015, IACR. 8 blz. (Cryptology ePrint Archive; vol. 2015/617)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

1 Downloads (Pure)

2014

A modeling environment supporting the co-evolution of user requirements and design

Peeters, F. A. I., Barosan, I., Yue, T. & Serebrenik, A., 2014, Eindhoven: Technische Universiteit Eindhoven. 16 blz. (Computer science reports; vol. 1403)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

141 Downloads (Pure)

Initial experiments with TPTP-style automated theorem provers on ACL2 problems

Joosten, S. J. C., Kaliszyk, C. & Urban, J., 2014, s.n. 9 blz. (arXiv; vol. 1406.1559 [cs.AI])

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

146 Downloads (Pure)

Ontologies in domain specific languages : a systematic literature review

Sutii, A. M., Verhoeff, T. & Brand, van den, M. G. J., 2014, Eindhoven: Technische Universiteit Eindhoven. 18 blz. (Computer science reports; vol. 1409)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

804 Downloads (Pure)

2013

Software engineering : redundancy is key

Brand, van den, M. G. J. & Groote, J. F., 2013, Eindhoven: Technische Universiteit Eindhoven. 8 blz. (Computer science reports; vol. 1308)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

180 Downloads (Pure)

2012

Checking property preservation of refining transformations for model-driven development

Engelen, L. J. P. & Wijs, A. J., 2012, Eindhoven: Technische Universiteit Eindhoven. 35 blz. (Computer science reports; vol. 1208)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

110 Downloads (Pure)

CIF MSOS type system

Meer, van der, A. P., 2012, Eindhoven: Technische Universiteit Eindhoven. 48 blz. (Computer science reports; vol. 1206)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

110 Downloads (Pure)

Survival of Eclipse third-party plug-ins

Businge, J., Serebrenik, A. & Brand, van den, M. G. J., 2012, Eindhoven: Technische Universiteit Eindhoven. 10 blz. (Computer science reports; vol. 1211)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

251 Downloads (Pure)

2011

Eclipse API usage : the good and the bad

Businge, J., Serebrenik, A. & Brand, van den, M. G. J., 2011, Eindhoven: Technische Universiteit Eindhoven. 10 blz. (Computer science reports; vol. 1115)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

225 Downloads (Pure)

Using a DSL and fine-grained model : transformations to explore the boundaries of model verification

Amstel, van, M. F., Brand, van den, M. G. J. & Engelen, L. J. P., 2011, Eindhoven: Technische Universiteit Eindhoven. (Computer science reports; vol. 1102)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

155 Downloads (Pure)

Visualizing traceability in model transformation compositions

Amstel, van, M. F., Serebrenik, A. & Brand, van den, M. G. J., 2011, Eindhoven: Technische Universiteit Eindhoven. 11 blz. (Computer science reports; vol. 1117)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

128 Downloads (Pure)

2010

Locally unique labeling of model elements for state-based model differences

Protic, Z., 2010, Eindhoven: Technische Universiteit Eindhoven. (Computer science reports; vol. 1006)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

56 Downloads (Pure)

2009

Placeholder calculus for first-order logic

Franssen, M. G. J., 2009, Eindhoven: Technische Universiteit Eindhoven. 14 blz. (Computer science reports; vol. 0905)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

102 Downloads (Pure)

Specifying state-based supervisory control requirements

Jacobs, K. G. M., Markovski, J., Beek, van, D. A., Rooda, J. E. & Somers, L. J. A. M., 2009, Eindhoven: Technische Universiteit Eindhoven. 40 blz. (SE report; vol. 2009-06)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

5 Downloads (Pure)

2008

A proof system for invariants in layered OO designs

Middelkoop, R., Huizing, C., Kuiper, R. & Luit, E. J., 2008, Eindhoven: Technische Universiteit Eindhoven. 43 blz. (Computer science reports; vol. 0801)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

85 Downloads (Pure)

FoolProof : a component toolkit for abstract syntax with variable bindings

Hemerik, C., 2008, Eindhoven: Technische Universiteit Eindhoven. 16 blz. (Computer science reports; vol. 0816)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

101 Downloads (Pure)

Implementing rigid e-unification

Franssen, M. G. J., 2008, Eindhoven: Technische Universiteit Eindhoven. 22 blz. (Computer science reports; vol. 0824)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

233 Downloads (Pure)

2007

Performance analysis of a palletizing system

Amstel, van, M. F., Plassche, van de, E., Hamberg, R., Brand, van den, M. G. J. & Rooda, J. E., 2007, Eindhoven: Technische Universiteit Eindhoven. 60 blz. (SE report; vol. 2007-09)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

556 Downloads (Pure)

2006

A language independent framework for context-sensitive formatting

Brand, van den, M. G. J., Kooiker, A. T., Vinju, J. J. & Veerman, N. P., 2006, Amsterdam: Centrum voor Wiskunde en Informatica. 10 blz. (CWI report. SEN-R : software engineering; vol. 0601)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

2004

A new taxonomy of sublinear keyword pattern matching algorithms

Cleophas, L. G. W. A., Watson, B. W. & Zwaan, G., 2004, Eindhoven: Technische Universiteit Eindhoven. 35 blz. (Computer science reports; vol. 0407)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

149 Downloads (Pure)

Constructing factor oracles

Cleophas, L. G. W. A., Zwaan, G. & Watson, B. W., 2004, Eindhoven: Technische Universiteit Eindhoven. 18 blz. (Computer science reports; vol. 0401)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

156 Downloads (Pure)

Inductive sets, the algebraic way

Geldrop - van Eijk, van, H. P. J. & Woude, van der, J. C. S. P., 2004, Eindhoven: Technische Universiteit Eindhoven. 27 blz. (Computer science reports; vol. 0442)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

399 Downloads (Pure)

Industry experience in using an abstract model to select software development tools

Zwartjes, G., van Geffen, J., Kourie, D. G., Boake, A. & Watson, B. W., 2004, Eindhoven: Technische Universiteit Eindhoven. 12 blz. (Computer science reports; vol. 0417)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

252 Downloads (Pure)

Software engineering reference framework

Chaudron, M. R. V., Groote, J. F., Hee, van, K. M., Hemerik, C., Somers, L. J. A. M. & Verhoeff, T., 2004, Eindhoven: Technische Universiteit Eindhoven. 12 blz. (Computer science reports; vol. 0439)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

117 Downloads (Pure)

2003

On hardcoding finite state automata processing

Ngassam, E. K., Watson, B. W. & Kourie, D. G., 2003, Eindhoven: Technische Universiteit Eindhoven. 29 blz. (Computer science reports; vol. 0310)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

126 Downloads (Pure)

2002

The 43rd International Mathematical Olympiad : a reflective report on IMO 2002

Verhoeff, T., 2002, Eindhoven: Technische Universiteit Eindhoven. 40 blz. (Computer science reports; vol. 0211)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

1739 Downloads (Pure)

1997

$\lambda {\rm P}-$ : a pure type system for first order logic with automated theorum proving

Franssen, M. G. J., 1997, Eindhoven: Technische Universiteit Eindhoven. 35 blz. (Computing science reports; vol. 9715)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

114 Downloads (Pure)

Tools for the construction of correct programs : an overview

Franssen, M. G. J., 1997, Eindhoven: Technische Universiteit Eindhoven. 33 blz. (Computing science reports; vol. 9706)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

125 Downloads (Pure)

1995

A taxonomy of sublinear multiple keyword pattern matching algorithms

Watson, B. W. & Zwaan, G., 1995, Eindhoven: Technische Universiteit Eindhoven. 26 blz. (Computing science reports; vol. 9513)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

376 Downloads (Pure)

1994

The testing paradigm applied to network structure

Verhoeff, T., 1994, Eindhoven: Technische Universiteit Eindhoven. 32 blz. (Computing science notes; vol. 9410)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

65 Downloads (Pure)

1993

A continuous version of the prisoner's dilemma

Verhoeff, T., 1993, Eindhoven: Technische Universiteit Eindhoven. 17 blz. (Computing science notes; vol. 9302)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

300 Downloads (Pure)

Quicksort for linked lists

Verhoeff, T., 1993, Eindhoven: Technische Universiteit Eindhoven. 8 blz. (Computing science notes; vol. 9303)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

79 Downloads (Pure)

1992

A taxonomy of keyword pattern matching algorithms

Watson, B. W. & Zwaan, G., 1992, Eindhoven: Technische Universiteit Eindhoven. 50 blz. (Computing science notes; vol. 9227)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

741 Downloads (Pure)

1989

Characterizations of delay-insensitive communication protocols

Verhoeff, T., 1989, Eindhoven: Technische Universiteit Eindhoven. 18 blz. (Computing science notes; vol. 8906)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

85 Downloads (Pure)

Some category theoretical properties related to a model for a polymorphic lambda-calculus

Eikelder, ten, H. M. M. & Hemerik, C., 1989, Eindhoven: Technische Universiteit Eindhoven. 26 blz. (Computing science notes; vol. 8903)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

76 Downloads (Pure)

1988

An introduction to the category-theoretic solution of recursive domain equations

Bos, R. & Hemerik, C., 1988, Eindhoven: Technische Universiteit Eindhoven. 47 blz. (Computing science notes; vol. 8815)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

471 Downloads (Pure)

A parallel program that generates the Möbius sequence

Verhoeff, T., 1988, Eindhoven: Technische Universiteit Eindhoven. 14 blz. (Computing science notes; vol. 8801)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

58 Downloads (Pure)

Bottum-up tree acceptors

Hemerik, C. & Katoen, J. P., 1988, Eindhoven: Technische Universiteit Eindhoven. 24 blz. (Computing science notes; vol. 8816)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

94 Downloads (Pure)

Settling a question about Pythagorean triples

Verhoeff, T., 1988, Eindhoven: Technische Universiteit Eindhoven. 11 blz. (Computing science notes; vol. 8803)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

74 Downloads (Pure)

1987

Delay-insensitive codes : an overview

Verhoeff, T., 1987, Eindhoven: Technische Universiteit Eindhoven. 19 blz. (Computing science notes; vol. 8704)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

648 Downloads (Pure)

Three families of maximally nondeterministic automata

Verhoeff, T., 1987, Eindhoven: Technische Universiteit Eindhoven. 18 blz. (Computing science notes; vol. 8710)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

58 Downloads (Pure)

1986

Nondeterminism and divergence created by concealment in CSP

Verhoeff, T., 1986, Eindhoven: Technische Universiteit Eindhoven. 19 blz. (Computing science notes; vol. 8606)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

65 Downloads (Pure)

1985

Delay-insensitive directed trace structures satisfy the foam rubber wrapper postulate

Verhoeff, T. & Schols, H. M. J. L., 1985, Eindhoven: Technische Hogeschool Eindhoven. 29 blz. (Computing science notes; vol. 8504)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

79 Downloads (Pure)

1982

Leren over informatietechnologie : noodzaak voor iedereen [Rapport van de Adviescommissie voor Onderwijs en Informatietechnologie]

Ouwerkerk-Dijkers, van, M. P., 1982, Den Haag: Staatsuitgeverij.

Onderzoeksoutput: Boek/rapport › Rapport › Academic

1973

Numerical calculations in a problem with heat conduction and heat production

Geldrop - van Eijk, van, H. P. J., van Ginneken, C. J. J. M. & Gelder, van, D. W., 1973, Eindhoven: Technische Hogeschool Eindhoven. (EUT report. WSK, Dept. of Mathematics and Computing Science; vol. 73-WSK-05)

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Open Access

Bestand

74 Downloads (Pure)

Software Engineering and Technology

Onderzoeksoutput

Zoekresultaten