Julkaisuja vuodessa
Julkaisuja vuodessa
Hakutulokset
-
2019
Agile Development of Formal Systems Models
Snook, C., Walden, M., Edmunds, A. & Butler, M., 2019, Turku Center for Computer Science (TUCS). (TUCS Technical Report; Vuosikerta 1202)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto59 Lataukset (Pure) -
2018
Improving the Modelling Experience in Event-B - A Literature Review
Olszewska, M., Shokri-Manninen, F., Edmunds, A. & Walden, M., 2018, Turku Center for Computer Science (TUCS). (TUCS Technical Report; Vuosikerta 1196)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
2016
Synergising Event-B and Scrum - Experimentation on a Formal Development in an Agile Setting
Olszewska, M., Ostroumov, S. & Walden, M., 2016, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; Vuosikerta 1152)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
2015
Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems
Boström, P., Heikkilä, M., Huova, M., Walden, M. & Linjama, M., 2015, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; Vuosikerta 1136)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Tiedosto5 Lataukset (Pure) -
Facilitating Formal Event-B Development by Visual Component-based Design
Ostroumov, S. & Walden, M., 2015, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; Vuosikerta 1148)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
Formal Library of Visual Components
Ostroumov, S. & Walden, M., 2015, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; Vuosikerta 1147)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
Modelling “Operation-Calls” in Event-B with Shared-Event Composition
Edmunds, A. & Walden, M., 2015, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; Vuosikerta 1144)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Tiedosto8 Lataukset (Pure) -
Towards Component-Based Reuse for Event-B
Edmunds, A., Snook, C. & Walden, M., 2015, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; Vuosikerta 1140)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Tiedosto5 Lataukset (Pure) -
2014
An Overview of Formal Specification Languages and Tools Supporting Visualisation of System Development
Parsa, M., Walden, M. & Snook, C., 2014, Åbo Akademi University. (TUCS Technical Report; Vuosikerta 1127)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto27 Lataukset (Pure) -
Deriving Efficient and Dependable Parallel Programs from Simulink Models
Ostroumov, S., Boström, P., Walden, M. & Huova, M., 2014, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; Vuosikerta 1111)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto20 Lataukset (Pure) -
FormAgi – A Concept for More Flexible Formal Developments
Olszewska, M. & Walden, M., 2014, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; Vuosikerta 1124)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Tiedosto131 Lataukset (Pure) -
2010
An Event-B Model for On-Demand Streaming
Sandvik, P., Sere, K. & Walden, M., 2010, Turku, Finland: Turku Centre for Computer Science. (TUCS Technical Reports; nro 994)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto6 Lataukset (Pure) -
2007
Quality Comparison and Evaluation of Digital Hydraulic Control Systems
Olszewska, M. & Walden, M., 2007, Turku Centre for Computer Science (TUCS). 32 Sivumäärä (TUCS Technical Report; Vuosikerta 857)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto11 Lataukset (Pure) -
Stepwise development of Simulink models using the refinement calculus framework
Boström, P., Morel, L. & Walden, M., 2007, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; Vuosikerta 821)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto7 Lataukset (Pure) -
2006
A Language for Modeling Network Availability
Petre, L., Sere, K. & Walden, M., 2006, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; Vuosikerta 752)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto8 Lataukset (Pure) -
Design and Validation of Digital Controllers for Hydraulics Systems
Boström, P., Linjama, M., Morel, L., Siivonen, L. & Walden, M., 2006, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; Vuosikerta 800)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto18 Lataukset (Pure) -
Formal Development of NoC Systems in B
Tsiopoulos, L. & Walden, M., 2006, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; Vuosikerta 751)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto4 Lataukset (Pure) -
Formal Transformation of Platform Independent Models into Platform Specific Models in MDA
Boström, P., Neovius, M., Oliver, I. & Walden, M., 2006, (TUCS Technical Report; Vuosikerta 759)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto3 Lataukset (Pure) -
2005
Development of Fault Tolerant Grid Applications Using Distributed B
Boström, P. & Walden, M., 2005, Turku Centre for Computer Science (TUCS). (TUCS Technical Reports; Vuosikerta 706)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto8 Lataukset (Pure) -
2004
An extension of Event B for developing grid system
Walden, M. & Boström, P., 2004, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; Vuosikerta 632)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto8 Lataukset (Pure) -
2003
A case study in requirement analysis of control systems using UML and B
Snook, C., Tsiopoulos, L. & Walden, M., 2003, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; Vuosikerta 533)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto18 Lataukset (Pure) -
A Healthcare Case Study: Fillwell
Boström, P., Jansson, M. & Walden, M., 2003, Turku Centre for Computer Science (TUCS). 59 Sivumäärä (TUCS Technical Reports; Vuosikerta 569)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto17 Lataukset (Pure) -
2001
A methodology for co-design based on a healthcare case study
Petre, L., Rönkkö, M., Troubitsyna, E., Walden, M. & Jansson, M., 2001, Turku Centre for Computer Science (TUCS). (TUCS Technical Reports; Vuosikerta 437)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto9 Lataukset (Pure) -
A Methodology for integration of formal methods in a healthcare case study
Petre, L., Troubitsyna, E., Walden, M., Boström, P., Engblom, N. & Jansson, M., 2001, Turku Centre for Computer Science (TUCS). 64 Sivumäärä (TUCS Technical Reports; Vuosikerta 436)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto14 Lataukset (Pure) -
2000
Component-Based Asynchronous Circuit Design in B
Plosila, J., Sere, K. & Walden, M., 2000, Turku Centre for Computer Science (TUCS). (TUCS Technical Reports; Vuosikerta 377)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto8 Lataukset (Pure) -
Mobile Components as Topological Action Systems
Petre, L. & Walden, M., 2000, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; Vuosikerta 366)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto12 Lataukset (Pure) -
1999
A Topological Approach to Distributed Computing
Petre, L., Sere, K. & Walden, M., 1999, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; Vuosikerta 289)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto9 Lataukset (Pure) -
1997
Data refinement of remote procedures
Sere, K. & Walden, M., 1997, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; Vuosikerta 115)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto11 Lataukset (Pure) -
Layering distributed algorithms
Walden, M., 1997, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; Vuosikerta 121)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto3 Lataukset (Pure) -
1996
Deriving distributed systems using B-Method
Walden, M. & Sere, K., 1996, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; Vuosikerta 31)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto4 Lataukset (Pure) -
Distributed System Development in B
Butler, M. & Walden, M., 1996, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; Vuosikerta 53)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto3 Lataukset (Pure) -
1995
Formal Derivation of a Distributed Load Balancing Algorithm
Walden, M., 1995, Turku: Åbo Akademi University. (Reports on Computer Science and Mathematics, Series A95-172)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto2 Lataukset (Pure) -
1994
Reverse engineering Distributed Algorithms
Sere, K. & Walden, M., 1994, Åbo Akademi University. (Reports on Computer Science and Mathematics, Series A; Vuosikerta 151)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
-
Specification of a program derivation editor
Butler, M., Hedman, E., Nilsson, P., Ruksenas, R., Walden, M. & Zhao, Y., 1994, Åbo Akademi University. (Reports on Computer Science and Mathematics, Series A94 - 157)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto3 Lataukset (Pure) -
Verification of a Distributed Algorithm due to Chu
Sere, K. & Walden, M., 1994, Åbo Akademi University. (Reports on Computer Science and Mathematics, Series A94 - 156)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
Open accessTiedosto2 Lataukset (Pure) -
1988
Design and implementation of Full-Text Retrieval on Transputer Networks
Walden, M. & Sere, K., 1988, Åbo: Åbo Akademi University. (Reports on Computer Science and Mathematics, Series A88 - 63; nro 63)Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen