A Structured Design Methodology for Concurrent Programming

Autor: Bijlsma, A., Huizing, C., Kuiper, R., Passier, H.J.M., Pootjes, H.J., Smetsers, J.E.W., Pieterse, Vreda, van Eekelen, Marko, Giannakos, Michalis

Publikováno v: Bijlsma, A, Huizing, C, Kuiper, R, Passier, H J M, Pootjes, H J & Smetsers, J E W 2017, A Structured Design Methodology for Concurrent Programming . in V Pieterse, M van Eekelen & M Giannakos (eds), Proceedings of the 6th Computer Science Education Research Conference, CSERC 2017 : November 13 and 14, Helsinki, Finland . ACM Digital Library, ICPS: ACM International Conference Proceeding Series, pp. 1-9, The 6th Computer Science Education Research Conference, Helsinki, Finland, 13/11/17 . https://doi.org/10.1145/3162087.3162088
Proceedings CSERC 2017-Computer Science Education Research Conference, 1-9
STARTPAGE=1;ENDPAGE=9;TITLE=Proceedings CSERC 2017-Computer Science Education Research Conference
Proceedings of the 6th Computer Science Education Research Conference, CSERC 2017: November 13 and 14, Helsinki, Finland, 1-9
STARTPAGE=1;ENDPAGE=9;TITLE=Proceedings of the 6th Computer Science Education Research Conference, CSERC 2017

Learning how to design and implement a concurrent program is hard. Most textbooks on Java programming only treat concurrency in terms of syntax and examples. They pay little attention to systematically designing concurrent programs. As a result, desi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7b68a376076843c61134e848e3314e8b
https://hdl.handle.net/1820/4a94cfe4-196f-4274-832e-2d0a2e365efb

Towards verified Java code generation from concurrent state machines

Autor: Zhang, D., Bosnacki, D., Brand, van den, M.G.J., Engelen, L.J.P., Huizing, C., Kuiper, R., Wijs, A.J., Dingel, J., Lara, de, J., Lúcio, L., Vangheluwe, H.

Publikováno v: Workshop on Analysis of Model Transformations (co-located with MoDELS 2014, Valencia, Spain, September 29, 2014)), 64-69
STARTPAGE=64;ENDPAGE=69;TITLE=Workshop on Analysis of Model Transformations (co-located with MoDELS 2014, Valencia, Spain, September 29, 2014))

We present work in progress on, verified, transformation of a modeling language based on communicating concurrent state machines, SLCO, to Java. Some concurrency related challenges, related to atomicity and non-standard fairness issues, are pointed o

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::3387539116633f7dcb30667e1f6b22ab
https://research.tue.nl/nl/publications/98622e25-b6c5-4602-99cd-fffcffeeb2d6

Formal semantics for Ward & Mellor's transformation schemas and the specification of fault tolerant systems

Autor: Petersohn, C., Huizing, C., Peleska, J., Roever, de, W.P., Echtle, K., Hammer, D.K., Powell, D.

Publikováno v: Dependable Computing (Proceedings 1st European Dependable Computing Conference, EDCC-1, Berlin, Germany, October 4-6, 1994), 59-76
STARTPAGE=59;ENDPAGE=76;TITLE=Dependable Computing (Proceedings 1st European Dependable Computing Conference, EDCC-1, Berlin, Germany, October 4-6, 1994)
Dependable Computing — EDCC-1 ISBN: 9783540584261
EDCC

A family of formal semantics is given for the Essential Model of the Transformation Schema of Ward & Mellor [WM85] using recent techniques developed for defining the semantics of Statecharts [Har88] by Pnueli and Huizing. The models developed closely

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b79b5ad77cd8a9245a9da0888519d241
https://doi.org/10.1007/3-540-58426-9_124

A Small Step for Mankind

Autor: Huizing, C., Koymans, R.L.C., Kuiper, R., Dams, D., Hannemann, U., Steffen, M.

Publikováno v: Concurrency, Compositionality, and Correctness ISBN: 9783642115110
Concurrency, Compositionality, and Correctness
Concurrency, Compositionality, and Correctness (Essays in honor of Willem-Paul de Roever), 66-73
STARTPAGE=66;ENDPAGE=73;TITLE=Concurrency, Compositionality, and Correctness (Essays in honor of Willem-Paul de Roever)

For many programming languages, the only formal semantics published is an SOS big-step semantics. Such a semantics is not suited for investigations that observe intermediate states, such as invariant techniques. In this paper, a construction is propo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::751aba38fba53e89a49d0a8c90066fa6
https://doi.org/10.1007/978-3-642-11512-7_5

Specification and verification of invariants by exploiting layers in OO designs

Autor: Middelkoop, R., Huizing, C., Kuiper, R., Luit, E.J.

Publikováno v: Fundamenta Informaticae, 85(1-4), 377-398. IOS Press

The layering that is present in many OO designs is not accounted for in current interpretations of invariants. We propose to make layers explicit in specifications and introduce a new interpretation of invariants that exploits these layers. Furthermo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::647685ae367592722b0ca019a09395eb
https://research.tue.nl/nl/publications/ee52785c-51a7-4e06-a74b-03e662ca7e28