Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Mikko Levanto"'
Publikováno v:
WiMob
With the introduction of novel standardized web technologies such as WebGL, 3D virtual environments (VEs) are making their way into the web. Concurrently, resource rich mobile devices, such as smartphones and tablets, have become the primary access m
Publikováno v:
Auer, A, Levanto, M, Okkonen, A & Okkonen, J 1990, ' Solution in software crisis ', Microprocessing and Microprogramming, vol. 30, no. 1-5, pp. 273-280 . https://doi.org/10.1016/0165-6074(90)90254-7
In this paper we analyse typical problems of the software process. The analysis shows that the problems are not caused by external factors alone, but also by poor understanding of the nature of the software production process. We outline a general so
Publikováno v:
Lecture Notes in Computer Science ISBN: 3540566627
FME
FME
“ARA” is a verification tool which applies some recent improved speed verification techniques. ARA accepts as input systems described in Basic Lotos. With ARA, a system can be verified by showing that it is behaviourally equivalent with its speci
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::20c04cddaa0daf8dfd95942a352280ed
https://doi.org/10.1007/bfb0024669
https://doi.org/10.1007/bfb0024669
Publikováno v:
Okkonen, A, Auer, A, Levanto, M, Okkonen, J & Kalaoja, J 1989, ' Sokrates-SA : A formal method for specifying real-time systems ', Microprocessing and Microprogramming, vol. 27, no. 1-5, pp. 513-520 . https://doi.org/10.1016/0165-6074(89)90102-6
The complexity and requirements of embedded real-time systems have reached the limit where current design methodologies do not sufficiently support the practical needs of specification, implementation and testing. We introduce a method and a graphic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e556292e79e77043911e412401ea4d8a
https://cris.vtt.fi/en/publications/914ea979-245a-4341-a176-507718c41d96
https://cris.vtt.fi/en/publications/914ea979-245a-4341-a176-507718c41d96