关注
Eric Steegmans
Eric Steegmans
Professor of Computer Science, KU Leuven
在 cs.kuleuven.be 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Grape: A CASE tool for digital signal parallel processing
R Lauwereins, M Engels, J Peperstraete, E Steegmans, ...
IEEE ASSP Magazine 7 (2), 32-43, 1990
981990
Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations
M Van Dooren, E Steegmans
Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented …, 2005
572005
A statically verifiable programming model for concurrent object-oriented programs
B Jacobs, J Smans, F Piessens, W Schulte
Formal Methods and Software Engineering: 8th International Conference on …, 2006
482006
Categorical data specifications
F Piessens, E Steegmans
Theory and Applications of Categories 1 (8), 156-173, 1995
441995
ServiceJ A Java Extension for ProgrammingWeb Services Interactions
S De Labey, M van Dooren, E Steegmans
IEEE International Conference on Web Services (ICWS 2007), 505-512, 2007
262007
Extending WS-notification with an expressive event notification broker
S De Labey, E Steegmans
2008 IEEE International Conference on Web Services, 312-319, 2008
222008
Test-driven development as a reliable embedded software engineering practice
P Cordemans, S Van Landschoot, J Boydens, E Steegmans
Embedded and Real Time System Development: A Software Engineering …, 2013
202013
EROOS: An entity-relationship based object-oriented specification method
S Van Baelen, J Lewi, E Steegmans, H Van Riel
Technology of Object-Oriented Languages and Systems TOOLS 7, 103-117, 1992
181992
Software development by LL (1) syntax description
J Lewi, K de Vlaminck, E Steegmans, I Van Horebeek
John Wiley & Sons, Inc., 1992
181992
Black & white testing: Bridging black box testing and white box testing
E Steegmans, P Bekaert, F Devos, G Delanote, N Smeets, M van Dooren, ...
Software Testing: Beheers Optimaal de Risico's van IT in uw Business, 1, 2004
172004
jnome: A Java meta model in detail
J Dockx, N Smeets, K Mertens, E Steegmans
Report CW, Department of Computer Science, KU Leuven, 2001
172001
Selective attribute elimination for categorical data specifications
F Piessens, E Steegmans
International Conference on Algebraic Methodology and Software Technology …, 1997
161997
Constraints in object-oriented analysis
S Van Baelen, J Lewi, E Steegmans, B Swennen
Object Technologies for Advanced Software: First JSSST International …, 1993
151993
Test-driven development of embedded software
J Boydens, P Cordemans, E Steegmans
Proceedings of the Fourth European Conference on the Use of Modern …, 2010
122010
Canonical forms for data-specifications
F Piessens, E Steegmans
International Workshop on Computer Science Logic, 397-411, 1994
121994
Non-determinism in conceptual models
P Bekaert, E Steegmans
Proceedings of the tenth OOPSLA Workshop on Behavioral Semantics, 24-34, 2001
112001
Proving semantical equivalence of data specifications
F Piessens, E Steegmans
Journal of Pure and Applied Algebra 116 (1-3), 291-322, 1997
111997
EROOS Reference Manual: Version 1.0
E Steegmans, J Lewi, M D'Haese, J Dockx, D Jehoul, B Swennen, ...
Katholieke Universiteit Leuven. Departement Computerwetenschappen, 1995
111995
Refactoring sequential embedded software for concurrent execution using design patterns
R Vincke, S Van Landschoot, E Steegmans, J Boydens
Annual Journal of Electronics 6 (2), 157-160, 2012
102012
Specialization/generalization in object-oriented analysis: Strengthening and multiple partitioning
P Bekaert, G Delanote, F Devos, E Steegmans
Advances in Object-Oriented Information Systems: OOIS 2002 Workshops …, 2002
102002
系统目前无法执行此操作,请稍后再试。
文章 1–20