Information Management & Software Engineering

Research Output 1998 2020

Filter
Conference contribution
2000

A Taxonomy of Web Agents.

Huang, Z., Eliëns, A. P. W., van Ballegooij, A. & de Bra, P., 2000, IEEE Proceedings of the First International Workshop on Web Agent Systems and Applications (WASA 2000)..

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

BCOOPL: A Language for Controlling Component Interactions.

de Bruin, H., 2000, Proceedings of the International Conference of Distributed Processing Techniques and Applications (PDPTA'2000).. Arbnia, H. R. (ed.). CSREA Press, p. 801-807

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Business Modelling is not Process Modelling.

Gordijn, J., Akkermans, J. M. & van Vliet, H., 2000, Conceptual Modeling for e-Business and the Web.. Liddle, S. W. & Mayr, H. C. (eds.). Springer Verlag, p. 40-51

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Commitment and Trust in Dynamic Logic.

Broersen, J. M., Dastani, M. M. & van der Torre, L. W. N., 2000, Proceedings of the Twelfth Belgium-Netherlands Artificial Intelligence Conference.. van den Bosch, A. & Weigand, H. (eds.). p. 3-11

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Hiding in a group: who is responsible?

Serban, R. C. & van de Riet, R. P., 2000, Proceedings of 3rd Workshop on Deception, Fraud and Trust in Agent Societies.. p. 91-102

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

How to Implement the Future?

Verhoef, C., 2000, EUROMICRO 2000 - Proceedings of the 26th EUROMICRO Conference.. Vajda, F. (ed.). p. 32-47

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Information Exchange in a Distributed Visualization Architecture: the Shared Concept Space.

Schonhage, S. P. C. & Eliëns, A. P. W., 2000, Proceedings International Symposium on Distributed Objects and Applications (DOA'00)..

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Integrated Representations for Task Modeling.

van Welie, M., van der Veer, G. C. & Koster, A., 2000, Proceedings of the Tenth European Conference on Cognitive Ergonomics.. p. 129-138

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Interaction Patterns in User Interfaces.

van Welie, M. & Traetteberg, H., 2000, 7th Pattern Languages of Programs Conference (PLoP 2000)..

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Knowledge Representation on the Web.

Fensel, D. A., van Harmelen, F. A. H., Horrocks, I., Melnik, S., Klein, M. C. A. & Broekstra, J., 2000, In Proceedings of the 2000 International Workshop on Description Logics (DL2000):89-97.. Aachen, Germany

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

Management through Vision: a case study towards requirements of BizViz.

Schonhage, S. P. C. & Eliëns, A. P. W., 2000, Proceedings of International Conference on Information Visualization 2000..

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Mu-calculus-based Deontic Logic for Regular Actions.

Broersen, J. M., Wieringa, R. J. & Meyer, J., 2000, Pre-proceedings Fifth International Workshop on Deontic Logic in Computer Science (DEON'00).. Demolombe, R. & Hilpinen, R. (eds.). p. 43-61

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

OIL & UPML: A Unifying Framework for the Knowledge Web.

Fensel, D. A., Crubezy, M., van Harmelen, F. A. H. & Horrocks, I., 2000, Proceedings of the Workshop on Applications of Ontologies and Problem-solving Methods, 14th European Conference on Artificial Intelligence ECAI’00. Berlin, Germany, p. 4.1-4.12

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

OnToKnowledge: Ontology-based Tools for Knowledge Management.

Fensel, D. A., van Harmelen, F. A. H., Akkermans, J. M., Klein, M. C. A., Broekstra, J., Fluit, C., van der Meer, J., Schnurr, H-P., Studer, R., Davies, J., Hughes, J., Krohn, U., Engels, R., Bremdahl, B., Ygge, F., Reimer, U. & Horrocks, I., 2000, Proceedings of the eBusiness and eWork 2000 (EMMSEC 2000) Conference.. Madrid, Spain

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

Ontology-based Tools for Knowledge Management.

Fensel, D. A., van Harmelen, F. A. H., Akkermans, J. M., Klein, M., Broekstra, J., Fluit, C., van der Meer, J., Schnurr, H-P., Studer, R., Davies, J., Hughes, J., Krohn, U., Engels, R., Bremdahl, B., Ygge, F., Reimer, U. & Horrocks, I., 2000, Proceedings of the eBusiness and eWork 2000 (EMMSEC 2000) Conference.. Madrid, Spain, p. 1105-1110

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

Patterns as Tools for User Interface Design.

van Welie, M., van der Veer, G. C. & Eliëns, A. P. W., 2000, proceedings of the International Workshop on Tools for Working with Guidelines (2000). p. 313-324

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Scenario-Based Analysis of Component Compositions.

de Bruin, H., 2000, Proceedings of the Second Symposium on Generative and Component-Based Software Engineering (GCSE'2000).. Butler, G. & Jarzabek, S. (eds.). NET.OBJECT-Forum (to appear in LNCS series published by Spr, p. 359-373

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Selling Bits: A Matter of Creating Consumer Value.

Gordijn, J., Akkermans, J. M., van Vliet, H. & Paalvast, E., 2000, Electronic Commerce and Web Technologies: Proceedings of the First International Conference on Electronic Commerce and Web Technologies (EC-Web 2000).. Bauknecht, K., Madria, S. K. & Pernul, G. (eds.). Springer Verlag, p. 48-62

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Structured Methods and Creativity - a Happy Dutch Marriage.

van Welie, M. & van der Veer, G. C., 2000, Proceedings of Co-Designing 2000.. p. 111-118

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Task Based Groupware Design: putting theory into practice.

van der Veer, G. C. & van Welie, M., 2000, Proceedings of Designing Interactive Systems 2000.. p. 326-337

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

The relation between ontologies and schema-languages: Translating OIL-specifications in XML Schema.

Klein, M. C. A., Fensel, D. A., van Harmelen, F. A. H. & Horrocks, I., 2000, Proceedings of the Workshop on Applications of Ontologies and Problem-solving Methods, 14th European Conference on Artificial Intelligence ECAI’00. Berlin, Germany, p. 7.1-7.12

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

File

The role of Ontologies in Information Interchange.

Fensel, D. A., 2000, Proceedings of the 2nd International Scientific and Practical Conference on Programming UkrPROG'2000. Ukraine, Kiev, p. 7-18

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Towards a formal model for contract execution.

Caminada, M. W. A., 2000, Proceedings Fifth International Workshop on the Language-Action Perspective on Communication Modelling.. Schoop, M. & Quix, C. (eds.). Aachen: RWTH Aachen, Fachgruppe Informatik

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Value Based Requirements Creation for Electronic Commerce Applications.

Gordijn, J., Akkermans, J. M. & van Vliet, H., 2000, Proceedings of the 33rd Hawaii International Conference on System Sciences (HICSS-33).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

What's in an Electronic Business Model?

Gordijn, J., Akkermans, J. M. & van Vliet, H., 2000, Proceedings of the 12th International Conference on Knowledge Engineering and Knowledge Management (EKAW'2000). Springer Verlag, p. 257-273

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

WORDNET++: a Lexicon Supporting the COLOR-X Method.

Steuten, A. A. G., Dehne, F. & van de Riet, R. P., 2000, Proceedings of NLDB-2000 conference, Versailles, 28-30 June.. Metais, E. (ed.). Springer, p. 1-16

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

WorkFlow Analyzed for Security and Privacy in using Databases.

Teepe, W., van de Riet, R. P. & Olivier, M. S., 2000, Proceedings of the IFIP- WG11.3 Conference on Security and Database Applications.. Thuraisingham, B., Dittrich, K. & Tari, Z. (eds.). Vrije Universiteit Amsterdam, p. 461-475

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

1999

Acting out interactive scenarios - experiences in designing by acting.

van der Veer, G. C., 1999, Towards New paradigms for Interaction Beyond the Desktop - Proceedings of the first International workshop on physicality and tangibility in interaction. Univ. Siena, October 20, 1999. Roy, D. M. & Panayi, M. (eds.). p. 1-6

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Adding Semantics to the Web.

Fensel, D. A., 1999, Proceedings of the VIII Conferencia de la Asociacion Espa?ola para la Inteligencia Artificial, Muncia, Spain, November 1999..

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

A Grey-Box Approach to Component Composition

de Bruin, H., 1999, Proceedings of the First Symposium on Generative and Component-Based Software Engineering (GCSE'99) Erfurt, Germany 1999. p. 1-15

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

A Logic for the Specification of Multi-Object Systems

Broersen, J. M. & Wieringa, R. J., 1999, Proc. IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS). Cianciarini, P., Fantechi, A. & Gorrieri, R. (eds.). Florence: Kluwer Academic Publications, p. 241-258

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

An evaluation of Linguistically Based Modeling Approaches on the Basis of the EANCOM EDI Standard

Caminada, M. W. A., Steuten, A. A. G. & van de Riet, R. P., 1999, Proceedings of the Fourth International Workshop: The Language Action Perspective on Communication Modelling, Copenhagen, Denmark 1999 pp. 29-42. p. 29-42

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

A Pastry Cook's View on Software Measurement,

Niessink, F. & van Vliet, H., 1999, Software Measurement - Current Trends in Research and Practice.. Dumke, R. & Abran, A. (eds.). Wiesbaden, Duitsland: Deutscher Universitaets Verlag, Wiesbaden, Duitsland, p. 109-125

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Breaking down Usability

van Welie, M., van der Veer, G. C. & Eliëns, A. P. W., 1999, Human Computer Interaction - Proceedings of Interact 99 , 30th August - 3rd September 1999, Edinburgh, Scotland. Sasse, M. A. & Johnson, C. (eds.). Amsterdam, The Netherlands: IOS Press, p. 613-620

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Conservative extension in positive/negative conditional term rewriting with applications to software renovation factories

Fokkink, W. & Verhoef, C., 1 Jan 1999, Fundamental Approaches to Software Engineering - 2nd Intrnational Conference, FASE 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999, Proceedings. Finance, J-P. (ed.). Springer - Verlag, p. 98-114 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1577).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Structural Operational Semantics
Abstract data types
Abstract Data Types
Term Rewriting
Extension Theorem

Design Patterns in Derivatives Software

van der Meij, M., Schouten, D. & Eliëns, A. P. W., 1999, ICT Architecture in the BeNeLux 1999, November 18-19, 1999, Amsterdam, The Netherlands. 8 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Developing new curricula in Computer Science - an example from the Netherlands

van der Veer, G. C. & Letia, I. A., 1999, Computer Science Education: Challenges for the New Millenium. Cluj: Casa Cartii de Stiinta

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Dynamic and Mobile VRML Gadgets,

Schonhage, S. P. C. & Eliëns, A. P. W., 1999, VRML99 - the Fourth International Conference on the Virtual Reality Modeling Language and Web 3D Technologies, Paderborn, Germany, 23 - 26 February 1999. p. 47-53

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Flexibility of the ComBAD architecture Software Architecture

Lassing, N. H., Rijsenbrij, D. B. B. & van Vliet, H., 1999, Proceedings of the First Working IFIP Conference on Software Architecture (WICSA1) San Antonio TX, USA, 1999. Kluwer Academic Publishers, p. 341-355

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Four Ways to Architect your Distributed Objects,

Schonhage, S. P. C. & Eliëns, A. P. W., 1999, Proceedings of the Second Nordic Workshop on Software Architecture. Bosch, J. (ed.). 8 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

From Distributed Object Features to Architectural Styles,

Schonhage, S. P. C. & Eliëns, A. P. W., 1999, Engineering Distributed Objects (EDO '99), ICSE 99 Workshop, Los Angeles, May 17-18, 1999, pp. 48-55. p. 48-55

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Groupware Task Analysis,

van der Veer, G. C. & van Welie, M., 1999, Tutorial Notes for the CHI99 Tutorial "Task Analysis Meets Prototyping: Towards seamless UI Development", 16th May 1999, Pittsburgh PA, USA. Publisher ACM, New York.. New York: ACM

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Groupware Task Analysis in Practice: a scientific approach meets security problems.

van Loo, R., van der Veer, G. C. & van Welie, M., 1999, 7th European Conference on Cognitive Science Approaches to Process Control , 21-24 September 1999, Villeneuve d'Ascq, France, 105-110. (uitg.: Presses Universitaires de Valienciennes). Presses Universitaires de Valienciennes, p. 105-110

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Groupware Task Analysis in Practice: a scientific approach meets security problems.

van der Veer, G. C., van Loo, R. & van Welie, M., 1999, 7th European Conference on Cognitive Science Approaches to Process Control , 21-24 September 1999, Villeneuve d'Ascq, France, 105-110.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

ICT Architecture in the BeNeLux 1999

de Bruin, H., 1999, (ICT-Architecture'99) Amsterdam, The Netherlands 1999.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

Implementing a Quantitatively Controlled Software Process,

ter Horst, B., Niessink, F. & van Vliet, H., 1999, Proceedings of the European Software Control and Metrics conference, Herstmonceux, England, April 27-29, 1999, pp. 167-175.. p. 167-175

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Integral Design of e-Commerce Systems: Aligning the Business with Software Architecture through Scenarios,

Gordijn, J., de Bruin, H. & Akkermans, J. M., 1999, Proceedings Conference on ICT Architecture in the Benelux, VUA/Cap Gemini, Amsterdam, 1999.. de Bruin, H. (ed.). p. 1-18

Research output: Chapter in Book / Report / Conference proceedingConference contributionProfessional

Integral Design of E-Commerce Systems: Aligning the Business with Software Architecture using Scenarios

Gordijn, J., de Bruin, H. & Akkermans, J. M., 1999, Proceedings of ICT-Architecture'99 Amsterdam, The Netherlands 1999. p. 1-18

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Integrated Architactural Design of Business and Information Systems

Goedvolk, H., de Bruin, H. & Rijsenbrij, D. B. B., 1999, Proceedings of Second Workshop on Software Architecture (NOSA'99) Ronneby, Sweden 1999.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Linguistically based Conceptual Modeling of Business Communication.

Steuten, A. A. G., van de Riet, R. P. & Dietz, J. L. G., 1999, Proceedings of the Fourth International Conference on Applications of Natural Language to Information System, University of Klagenfurt, Austria, 17-19 June 1999. pp. 101-116.. p. 101-116

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review