Výsledky vyhledávání - "Boer, F.S. de"

Verification of Counting Sort and Radix Sort

Autor: Gouw, S de, Boer, F.S. de, Rot, J.C., Ahrendt, W.

Publikováno v: Ahrendt, W. (ed.), Deductive Software Verification-The KeY Book-From Theory to Practice, 609-618. Cham : Springer
STARTPAGE=609;ENDPAGE=618;ISSN=0302-9743;TITLE=Ahrendt, W. (ed.), Deductive Software Verification-The KeY Book-From Theory to Practice
Ahrendt, W. (ed.), Deductive Software Verification-The KeY Book-From Theory to Practice, pp. 609-618

Item does not contain fulltext

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::95ef20860534a481b71b6957abaf2edc
http://hdl.handle.net/2066/163150

Zobrazit plný text záznamu

Integrating Architectural Models

Autor: Arbab, F., Boer, F.S. de, Bonsangue, M., Lankhorst, M.M., Proper, H.A., Torre, L.W.N.

Publikováno v: Enterprise Modelling and Information Systems Architectures, 2, pp. 40-57
Enterprise Modelling and Information Systems Architectures, 2, 40-57

Contains fulltext : 34595.pdf (Author’s version preprint ) (Open Access)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d3b94ab97403a36f1becc47599adc6a2
https://hdl.handle.net/2066/34595

Zobrazit plný text záznamu

It is Pointless to Point in Bounded Heaps

Autor: Boer, F.S. de, Bonsangue, M.M., Rot, J.C.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e9cbf4e6425350ca34ce0dabb44a68c2
http://hdl.handle.net/1887/3197529

Zobrazit plný text záznamu

Model-Based Testing of Environmental Conformance of Components

Autor: Frantzen, L., Tretmans, J., Boer, F.S. de, Bonsangue, M.M., Graf, S., Roever, W.-P. de

Publikováno v: Boer, F.S. de; Bonsangue, M.M.; Graf, S. (ed.), Formal Methods of Components and Objects--FMCO 2006, 1-25. Berlin ; New York : Springer-Verlag
STARTPAGE=1;ENDPAGE=25;TITLE=Boer, F.S. de; Bonsangue, M.M.; Graf, S. (ed.), Formal Methods of Components and Objects--FMCO 2006
Boer, F.S. de; Bonsangue, M.M.; Graf, S. (ed.), Formal Methods of Components and Objects--FMCO 2006, pp. 1-25

Contains fulltext : 34446.pdf (Publisher’s version ) (Open Access)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::82e63e8623297b20ad8d0f166e11ea0c
http://hdl.handle.net/2066/34446

Zobrazit plný text záznamu

A Checker for Modal Formulas for Processes with Data

Autor: Groote, J.F., Willemse, T.A.C., Boer, F.S. de, Bosangue, M.M., Graf, S., Roever, W.-P. de

Publikováno v: Boer, F.S. de; Boer, F.S. de; Bosangue, M.M. (ed.), Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures, pp. 223-239
Lecture Notes in Computer Science ; 3188, 223-239. Berlin : Springer
STARTPAGE=223;ENDPAGE=239;TITLE=Lecture Notes in Computer Science ; 3188

Item does not contain fulltext

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ade2513004ee0a9b5c08d567fe6d0d20
https://hdl.handle.net/2066/60598

Zobrazit plný text záznamu

Equivalent Semantic Models for a Distributed Dataspace Architecture

Autor: Hooman, J.J.M., Pol, J. van de, Boer, F.S. De, Bonsangue, M.M., Graf, S., DeRoever, W.P.

Publikováno v: Formal Methods for Components and Objects ISBN: 9783540203032
FMCO
Boer, F.S. De; Bonsangue, M.M.; Graf, S. (ed.), Formal Methods for Components and Objects, pp. 182-201
Lecture Notes in Computer Science ; 2852, 182-201. Berlin : Springer
STARTPAGE=182;ENDPAGE=201;TITLE=Lecture Notes in Computer Science ; 2852

The general aim of our work is to support formal reasoning about components on top of the distributed dataspace architecture Splice. To investigate the basic properties of Splice and to support compositional verification, we have defined a denotation

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::84b1f041e04a67e9b7cf7457cd3aaba1
https://doi.org/10.1007/978-3-540-39656-7_7

Zobrazit plný text záznamu

Integrating Architectural Models: Symbolic, Semantic and Subjective Models in

Autor: Arbab, F., Boer, F.S. de, Bonsangue, M., Lankhorst, M.M., Proper, H.A., Torre, L. van der

Publikováno v: Technical Report ; ICIS-R060. Nijmegen : Radboud University Nijmegen
Technical Report ; ICIS-R060

Contains fulltext : 286126.pdf (Publisher’s version ) (Open Access) 29 p.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9d4e8ca75f09fb9cdd6502c86ef8e9dd
http://hdl.handle.net/2066/286126

Zobrazit plný text záznamu

Foundations (of ArchiMate)

Autor: Lankhorst, M.M., Torre, L.W.N. van der, Proper, H.A., Arbab, F., Boer, F.S. de, M., Bonsague

Publikováno v: Enterprise Architecture at Work: Modelling, Communication and Analysis, Berlin, Germany, EU, pp. 47-66
Enterprise Architecture at Work: Modelling, Communication and Analysis, Berlin, Germany, EU, 47-66. Berlin, Germany, EU : Springer
STARTPAGE=47;ENDPAGE=66;TITLE=Enterprise Architecture at Work: Modelling, Communication and Analysis, Berlin, Germany, EU

Item does not contain fulltext

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4c157d80e92ffd17464f6f861008da58
https://hdl.handle.net/2066/32527

Zobrazit plný text záznamu

Coordinating Agents in OO

Autor: Boer, F.S. de, Pierik, C., Eijk, R.M. van, Meyer, J-J.Ch.

Publikováno v: Lecture Notes in Computer Science, 2975, 8. Springer

In this paper we introduce an object-oriented coordination language for multi-agents systems. The beliefs and reasoning capabilities of an agent are specified in terms of a corresponding abstract data type. Agents interact via an extension of the usu

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f4701cf3194020db83df2f70d02b8631
https://dspace.library.uu.nl/handle/1874/26080

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání