Zobrazeno 1 - 10
of 241
pro vyhledávání: '"Vienna Development Method"'
Publikováno v:
Couto, L D, Tran-Jørgensen, P W V, Nilsson, R S & Larsen, P G 2020, ' Enabling continuous integration in a formal methods setting ', International Journal on Software Tools for Technology Transfer, vol. 22, no. 6, pp. 667-683 . https://doi.org/10.1007/s10009-019-00546-y
In modern software development, the practices of continuous integration and DevOps are widely used to increase delivery speed and reduce the time it takes to deploy software changes to production. If formal method tools cannot be efficiently integrat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::23ec9fb204d80df7597e5145ac071646
https://pure.au.dk/portal/da/publications/enabling-continuous-integration-in-a-formal-methods-setting(0dd1df8b-edab-4546-99e0-b2eca96cace3).html
https://pure.au.dk/portal/da/publications/enabling-continuous-integration-in-a-formal-methods-setting(0dd1df8b-edab-4546-99e0-b2eca96cace3).html
Autor:
Saba Latif, Javed Ferzund
Publikováno v:
2019 13th International Conference on Mathematics, Actuarial Science, Computer Science and Statistics (MACS).
With the advent of recent technology, smart systems are replacing traditional systems. Wireless sensors and RFID are important components of Smart systems and have many applications such as Smart Sewerage, Smart Transportation, Smart Grid, Smart Agri
Publikováno v:
2019 13th International Conference on Mathematics, Actuarial Science, Computer Science and Statistics (MACS).
The E-Health is a central part of monitoring and managing patient's health electronically at hospital. The existing patient treatment systems works manually because of ambiguities and limitations of semiformal techniques. Therefore, formal model of P
Publikováno v:
Sustainability, Vol 13, Iss 11772, p 11772 (2021)
Sustainability
Volume 13
Issue 21
Sustainability
Volume 13
Issue 21
Internet of things (IoT) is playing a major role in smart cities to make a digital environment. Traffic congestion is a serious road issue because of an increasing number of vehicles in urban areas. Some crucial traffic problems include accidents and
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Oda, T, Araki, K & Larsen, P G 2017, ' A Formal Modeling Tool for Exploratory Modeling in Software Development ', IEICE Transactions on Information and Systems, vol. E100.D, no. 6, pp. 1210-1217 . https://doi.org/10.1587/transinf.2016FOP0003
Publikováno v:
Methods of information in medicine, 56(2), 180-186. Schattauer GmbH
SummaryObjectives: The main objective is to develop and validate a reference information model (RIM) to support semantic interoperability of pervasive telemedicine systems. The RIM is one component within a larger, computer-interpretable "MADE langua
Publikováno v:
2019 International Conference on Information Science and Communication Technology (ICISCT).
In this era, almost Every person spends 8 to 12 hours in office within a day for the sake of earn money. Offices are considered employees second home as much of the time of employees is spent over there. Employees spent their mental or physical energ
Publikováno v:
2018 12th International Conference on Mathematics, Actuarial Science, Computer Science and Statistics (MACS).
The intelligent management of all the processes of registration and administrative services are managed by smart campus. Smart campus provides management of clearance, transportation, departments, classrooms, offices, accounts, parking, notification