Titel

Merkliste
1 Ergebnisse

IVY 2 : a model-based analysis tool:

, In: Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems,

Couto, Rui ; Campos, José Creissac - p. 1-6 , 2019

Link: https://dl.acm.org/doi/10.1145/3319499.3328228

RT 
T1 <cTitle>Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems</cTitle>: T1 <Title>IVY 2				: a model-based analysis tool</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3328228&Exemplar=1&LAN=DE
				
A1 Couto, Rui
A1 Campos, José Creissac
PB ACM
YR 2019
K1 formal verification
K1 interactive systems
K1 model checking
K1 model-based design and analysis
K1 tool support
K1 Software and its engineering
K1 Software organization and properties
K1 Software system structures
K1 Software architectures
K1 Layered systems
K1 Publish-subscribe / event-based architectures
K1 Human-centered computing
K1 Interaction design
K1 Interaction design theory, concepts and paradigms
K1 Human computer interaction (HCI)
K1 HCI design and evaluation methods
K1 User models
K1 Software functional properties
K1 Formal methods
K1 Model checking
SP 1
OP 6
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3319499.3328228
DO https://dl.acm.org/doi/10.1145/3319499.3328228
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)