Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Vincent Langenfeld"'
Publikováno v:
Requirements Engineering: Foundation for Software Quality ISBN: 9783031297854
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b0c3290059e2415d807c33d908d66bae
https://doi.org/10.1007/978-3-031-29786-1_2
https://doi.org/10.1007/978-3-031-29786-1_2
Autor:
Daniel Dietsch, Vincent Langenfeld
Publikováno v:
Proceedings of the Annual Hawaii International Conference on System Sciences.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::90b85074722bcb12290868d3cbe2eb38
https://doi.org/10.24251/hicss.2022.119
https://doi.org/10.24251/hicss.2022.119
Publikováno v:
Proceedings of the Annual Meeting of the Cognitive Science Society, vol 43, iss 43
Scopus-Elsevier
Scopus-Elsevier
It is a long standing challenge to devise a formal model of ACT-R as a basis for formal reasoning on ACT-R. The ACT-R architecture is a composition of components (such as modules) with predefined interfaces between components and predefined interacti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e02c0513972d84bffaf8deca5d068454
https://escholarship.org/uc/item/5898d1f4
https://escholarship.org/uc/item/5898d1f4
Publikováno v:
2020 IEEE Workshop on Formal Requirements (FORMREQ).
With today’s increasing complexity of systems andrequirements there is a need for formal analysis of requirements.Although there exist several formal requirements description lan-guages and corresponding analysis tools that target an industrialaudi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4051634409e6f16cd9a50e383ebaea67
https://doi.org/10.1109/formreq51202.2020.00010
https://doi.org/10.1109/formreq51202.2020.00010
Publikováno v:
RE
Detecting issues in real-time requirements is usually a trade-off between flexibility and cost: the effort expended depends on how expensive it is to fix a defect introduced by faulty, ambiguous or incomplete requirements. The most rigorous technique
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ca877c5e3b46d57a64e34498e681ae9c
https://doi.org/10.1109/re.2019.00033
https://doi.org/10.1109/re.2019.00033
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319963846
Spatial Cognition
Spatial Cognition
We investigated robot and human self-localization abilities in a simulated building with and without landmarks, optimized for humans and robots, respectively. Robot self-localization accuracy was determined by the uniqueness of the current location
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b581758b2caef1f916cf75c4ab5d50a8
https://doi.org/10.1007/978-3-319-96385-3_11
https://doi.org/10.1007/978-3-319-96385-3_11
Publikováno v:
Requirements Engineering: Foundation for Software Quality ISBN: 9783319302812
REFSQ
REFSQ
[Context and motivation] Requirements defects are notoriously costly. Analysing the defect data in a completed project may help to improve practice in follow up projects. [Question/Problem] The problem is to analyse the different kinds of requirement
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0894a06e4426bf25149d2cf32de29bda
https://doi.org/10.1007/978-3-319-30282-9_10
https://doi.org/10.1007/978-3-319-30282-9_10
Publikováno v:
Computer Aided Verification ISBN: 9783319216898
CAV (1)
CAV (1)
The construction of a proof for unsatisfiability is less costly than the construction of a ranking function. We present a new approach to LTL software model checking (i.e., to statically analyze a program and verify a temporal property from the full
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::26dcedd46e5828230034cf9c3615d370
https://doi.org/10.1007/978-3-319-21690-4_4
https://doi.org/10.1007/978-3-319-21690-4_4