Rix Groenboom
Rix Groenboom
Affiliated member, Computer Science, University of Groningen
Email verificata su parasoft.nl - Home page
Titolo
Citata da
Citata da
Anno
The unified problem-solving method development language UPML
D Fensel, E Motta, F Van Harmelen, VR Benjamins, M Crubezy, S Decker, ...
Knowledge and Information Systems 5 (1), 83-131, 2003
1992003
Specifying knowledge-based systems with reusable components
D Fensel, R Groenboom
in Proceedings of the 9th International Conference on Software Engineering …, 1997
651997
Specification and verification of knowledge-based systems
D Fensel, A Schonegge, R Groenboom, B Wielinga
Proceedings of the 10th Banff knowledge acquisition for knowledge-based …, 1996
531996
The component model of UPML in a nutshell
D Fensel, VR Benjamins, S Decker, M Gaspari, R Groenboom, W Grosso, ...
WWW Proceedings of the 1st Working IFIP Conference on Software Architectures …, 1999
381999
MLPM: Defining a semantics and axiomatization for specifying the reasoning process of knowledge-based systems
D Fensel, R Groenboom
371996
A formalization of evolving algebras
R Groenboom, GRR de Lavalette
Proceedings of Accolade 95, 17-28, 1995
351995
Reasoning about dynamic features in specification languages
R Groenboom, GRR De Lavalette
Semantics of Specification Languages (SoSL), 340-355, 1994
351994
Modal change logic (MCL): Specifying the reasoning of knowledge-based systems
D Fensel, R Groenboom, GRR De Lavalette
Data & knowledge engineering 26 (3), 243-269, 1998
271998
A software architecture for knowledge-based systems
D Fensel, R Groenboom
The Knowledge Engineering Review 14 (2), 153-173, 1999
261999
Formalization of a software architecture for embedded systems: a process algebra for SPLICE
P Dechering, R Groenboom, E de Jong, JT Udding
Proceedings of the 32nd Annual Hawaii International Conference on Systems …, 1999
171999
Algebraic proof assistants in HOL
R Groenboom, C Hendriks, I Polak, J Terlouw, JT Udding
International Conference on Mathematics of Program Construction, 304-321, 1995
121995
Normal form in a delay-insensitive algebra
R Groenboom, MB Josephs, PG Lucassen, JT Udding
Proceedings of the IFIP WG10. 5 Working Conference on Asynchronous Design …, 1993
121993
Formalizing anaesthesia: a case study in formal specification
R Groenboom, E Saaman, E Rotterdam, GR deLavalette
International Symposium of Formal Methods Europe, 120-139, 1996
91996
Testing for highly distributed service-oriented systems using virtual environments
F Nizamic, R Groenboom, A Lazovik
Proceedings of 17th Dutch Testing Day, 2011
82011
The Unified Problem-solving Method Development Language UPML, to appear
D Fensel, E Motta, VR Benjamins, M Crubezy, S Decker, M Gaspari, ...
Knowledge and Information Systems (KAIS): An International Journal, 0
8
F. van Harmelen, M
D Fensel, E Motta, V Benjamins, S Decker, M Gaspari, R Groenboom, ...
Musen, E. Plaza, G. Schreiber, R. Studer, A. Ten, B. Wielinga,“An …, 1998
71998
The unified problem-solving method description language UPML
D Fensel, VR Benjamins, S Decker, M Gaspari, R Groenboom, E Motta, ...
IBROW-3 Esprit Project 27169. Project Deliverable 1, 1998
71998
Policy-based scheduling of Cloud services
F Nizamic, V Degeler, R Groenboom, A Lazovik
Scalable Computing: Practice and Experience 13 (3), 187-200, 2012
62012
Formalizing Knowledge Domains:-Static and Dynamic Aspects
R Groenboom
Shaker, 1997
61997
Formalisation for decision support in anaesthesiology
GRR De Lavalette, R Groenboom, E Rotterdam, F Van Harmelen, ...
Artificial intelligence in medicine 11 (3), 189-214, 1997
51997
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20