Výsledky vyhledávání - "software engineering methodologies"

Dissertation/ Thesis

Towards a philosophical understanding of agile software methodologies : the case of Kuhn versus Popper

Autor: Northover, Mandy

This dissertation is original in using the contrasting ideas of two leading 20th century philosophers of science, Karl Popper and Thomas Kuhn, to provide a philosophical understanding, firstly, of the shift from traditional software methodologies to

Externí odkaz: http://hdl.handle.net/2263/22793
http://upetd.up.ac.za/thesis/available/etd-02242009-220043/

Zobrazit plný text záznamu

Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System

Autor: Giorgio Oronzo Spagnolo, Franco Mazzanti, Alessio Ferrari

Publikováno v: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications ISBN: 9783319471686
ISoLA (2)
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. 7th International Symposium, pp. 297–314, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Mazzanti F.; Ferrari A.; Spagnolo G.O./congresso_nome:Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. 7th International Symposium/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:297/pagina_a:314/intervallo_pagine:297–314

This paper presents a set of experiments in formal modelling and verification of a deadlock avoidance algorithm of an Automatic Train Supervision System (ATS). The algorithm is modelled and verified using four formal environment, namely UMC, Promela/

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::58859f4dda9bd3f4bf061f597a10dd7e
https://doi.org/10.1007/978-3-319-47169-3_22

Zobrazit plný text záznamu

Development of a knowledge base as a tool for contextualized learning

Autor: Gilbert Paquette, Y. Gargouri, Jacqueline Bourdeau, P. Gagné, F. Henri, M. Maina

Publikováno v: AI & Society: Knowledge, Culture and Communication
AI & Society: Knowledge, Culture and Communication, Springer Verlag, 2006, 20 (3) / June 2006, pp.271-287. ⟨10.1007/s00146-005-0021-6⟩

This paper is a pre-print version of the article whose original version can be found on http://www.springerlink.com/content/3rw8278x35358695/fulltext.pdf. Please cite the full reference when referring to the article.; This project was undertaken to d

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::41c66135cb662f2175032efec70119a7
https://doi.org/10.1007/s00146-005-0021-6

Zobrazit plný text záznamu

Dissertation/ Thesis

An Exploratory Study on the Relationship between Software Management and IT Service Management

Autor: Ramachandran, Selvakumar, Santapoor, Lavanya

Aims and Objectives: Information Technology (IT) service management has gained importance in the recent years. A service is a means of delivering value to the customers by facilitating outcomes, which customers want to achieve without ownership of th

Externí odkaz: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-3163

Zobrazit plný text záznamu

Zooming Multi-Agent Systems

Autor: Alessandro Ricci, Ambra Molesini, Enrico Denti, Andrea Omicini

Publikováno v: Agent-Oriented Software Engineering VI ISBN: 9783540340973
AOSE

Complex systems call for a hierarchical description. Analogously, the engineering of non-trivial MASs (multiagent systems) requires principles and mechanisms for a multi-layered description, which could be used by MAS designers to provide different l

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::053022383caf5c24fbdb9bc38f74ecad
http://hdl.handle.net/11585/28106

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání