Titel

Merkliste
1 Ergebnisse

DynAlloy : upgrading alloy with actions:

, In: Proceedings of the 27th international conference on Software engineering,

Frias, Marcelo F. ; Galeotti, Juan P. ; López Pombo, Carlos G.. - p. 442-451 , 2005

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

RT 
T1 <cTitle>Proceedings of the 27th international conference on Software engineering</cTitle>: T1 <Title>DynAlloy				: upgrading alloy with actions</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-1062535&Exemplar=1&LAN=DE
				
A1 Frias, Marcelo F.
A1 Galeotti, Juan P.
A1 López Pombo, Carlos G.
A1 Aguirre, Nazareno M.
PB ACM
YR 2005
K1 alloy
K1 dynamic logic
K1 software specification
K1 software validation
K1 Software and its engineering
K1 Software creation and management
K1 Software verification and validation
K1 Process validation
K1 General and reference
K1 Cross-computing tools and techniques
K1 Validation
K1 Empirical software validation
K1 Designing software
K1 Software implementation planning
K1 Software design techniques
K1 Theory of computation
K1 Logic
K1 Semantics and reasoning
K1 Software development process management
K1 Program reasoning
SP 442
OP 451
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/1062455.1062535
DO https://dl.acm.org/doi/10.1145/1062455.1062535
SF ELIB - SuUB Bremen

Export

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