Výsledky vyhledávání - "Alexander Borgida"

CaRE: a refinement calculus for requirements engineering based on argumentation theory

Autor: Alexander Borgida, John Mylopoulos, Alessio Ferrari, Yehia Elrakaiby

Publikováno v: Software and systems modeling
(2021). doi:10.1007/s10270-021-00943-5
info:cnr-pdr/source/autori:Elrakaiby Y.; Borgida A.; Ferrari A.; Mylopoulos J./titolo:CaRE: a refinement calculus for requirements engineering based on argumentation theory/doi:10.1007%2Fs10270-021-00943-5/rivista:Software and systems modeling (Print)/anno:2021/pagina_da:/pagina_a:/intervallo_pagine:/volume

The Requirements Engineering (RE) process starts with initial requirements elicited from stakeholders--however conflicting, unattainable, incomplete and ambiguous--and successively refines them until a consistent, complete, valid, and unambiguous spe

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::be346f2c4149429d5e1726300356a3e8
https://doi.org/10.1007/s10270-021-00943-5

Zobrazit plný text záznamu

Understanding Document Data Sources Using Ontologies with Referring Expressions

Autor: Alexander Borgida, Enrico Franconi, David Toman, Grant Weddell

Publikováno v: AI 2022: Advances in Artificial Intelligence ISBN: 9783031226946

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::59753645412b003797e59076eec71e21
https://doi.org/10.1007/978-3-031-22695-3_26

Zobrazit plný text záznamu

On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics

Autor: Alexander Borgida, Grant E. Weddell, David Toman, Stephanie McIntyre

Publikováno v: AAAI

Standard reasoning problems are complete for EXPTIME in common feature-based description logics—ones in which all roles are restricted to being functions. We show how to control conjunctions on left-hand-sides of subsumptions and use this restricti

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::487a2c73b022f615170badbfba27d81c
https://doi.org/10.1609/aaai.v33i01.33012995

Zobrazit plný text záznamu

Searching heterogeneous personal digital traces

Autor: Alexander Borgida, Daniela Vianna, Varvara Kalokyri, Amélie Marian, Thu D. Nguyen

Publikováno v: Proceedings of the Association for Information Science and Technology. 56:276-285

Digital traces of our lives are now constantly produced by various connected devices, internet services and interactions. Our actions result in a multitude of heterogeneous data objects, or traces, kept in various locations in the cloud or on local d

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b51372f09117a3ddd4c12e84f1e756b8
https://doi.org/10.1002/pra2.22

Zobrazit plný text záznamu

Plný text ve formátu HTML

A retrospective on Telos as a metamodeling language for requirements engineering

Autor: John Mylopoulos, Panos Constantopoulos, Martin Doerr, Dimitris Plexousakis, Alexander Borgida, Manolis Koubarakis, Manfred A. Jeusfeld, Matthias Jarke

Telos is a conceptual modeling language intended to capture software knowledge, such as software system requirements, domain knowledge, architectures, design decisions and more. To accomplish this, Telos was designed to be extensible in the sense tha

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0e28f8b646da428d8ca6dcbc40f5ed00
http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-18313

Zobrazit plný text záznamu

A Refinement Calculus for Requirements Engineering Based on Argumentation Theory

Autor: John Mylopoulos, Alexander Borgida, Alessio Ferrari, Yehia Elrakaiby

Publikováno v: Conceptual Modeling ISBN: 9783030625214
ER
ER 2020-International Conference on Conceptual Modeling, pp. 3–18, Vienna, Austria, November 03-06, 2020
info:cnr-pdr/source/autori:ElRakaiby Y.; Borgida A.; Ferrari A.; Mylopoulos J./congresso_nome:ER 2020-International Conference on Conceptual Modeling/congresso_luogo:Vienna, Austria/congresso_data:November 03-06, 2020/anno:2020/pagina_da:3/pagina_a:18/intervallo_pagine:3–18

The Requirements Engineering (RE) process starts with initial requirements elicited from stakeholders - however conflicting, unattainable, incomplete and ambiguous - and iteratively refines them into a specification that is consistent, complete, vali

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a8c4f85bdf0e18f41b31069b5a2e305b
https://doi.org/10.1007/978-3-030-62522-1_1

Zobrazit plný text záznamu

Initial Steps Towards a Family of Regular-Like Plan Description Logics

Autor: Alexander Borgida

Publikováno v: Lecture Notes in Computer Science ISBN: 9783030221010
Description Logic, Theory Combination, and All That

A wide range of ordinary Description Logics (DLs) have been explored by considering collections of concept/role constructors, and types of terminologies, yielding an array of complexity results. Representation and reasoning with plans is a very impor

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::bc3f22a0ee6bce924ae0c4cf944185ef
https://doi.org/10.1007/978-3-030-22102-7_4

Zobrazit plný text záznamu

YourDigitalSelf

Autor: Alexander Borgida, Varvara Kalokyri, Amélie Marian

Publikováno v: CIKM

Personal information is typically fragmented across multiple, heterogeneous, distributed sources and saved as small, heterogeneous data objects, or traces. The DigitalSelf project at Rutgers University focuses on developing tools and techniques to ma

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::c36e2a52d9ece356002beaa367221cb4
https://doi.org/10.1145/3269206.3269219

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání