01034nam0-2200289---450 991101557830332120250722103409.020240925d1864----km-y0itay50------bagerDEaf------001yy<<Die >>Mineralogieleichtfaßlich dargestellt mit Rücksicht auf das Vorkommen der Mineralien, ihre technische Benützung, Ausbringung der Metalle etc.von Franz von Kobell3. vermehrte AuflageLeipzigF. Brandstetter1864VIII, 264 p., V c. di tav. rip.ill.20 cm0019910887299003321Mineralogia54923itaKobell,Franz<1803-1882>5662ITUNINAREICATUNIMARCVisualizza la versione elettronica in EROMMhttps://babel.hathitrust.org/cgi/pt?id=nnc1.cu50501771&seq=920250721BK9911015578303321M 1 IV 4725695NAP14NAP14Mineralogie1783366UNINA02373oam 2200457zu 450 991014105510332120241212220151.09781457709241145770924497814577092341457709236(CKB)2670000000131718(SSID)ssj0000669695(PQKBManifestationID)12287958(PQKBTitleCode)TC0000669695(PQKBWorkID)10716256(PQKB)10195044(NjHacI)992670000000131718(EXLCZ)99267000000013171820160829d2011 uy engur|||||||||||txtccr2011 IEEE 19th International Conference on Requirements Engineering[Place of publication not identified]IEEE20111 online resourceBibliographic Level Mode of Issuance: Monograph9781457709210 145770921X The requirements and design level identification and representation of dynamic variability for adaptive systems is a challenging task. This requires time and effort to identify and model the relevant elements as well as the need to consider the large number of potentially possible system configurations. Typically, each individual variability dimension needs to identified and modelled by enumerating each possible alternative. The full set of requirements needs to be reviewed to extract all potential variability dimensions. Moreover, each possible configuration of an adaptive system needs to be validated before use. In this demonstration, we present a tool suite that is able to manage dynamic variability in adaptive systems and tame such system complexity. This tool suite is able to automatically identify dynamic variability attributes such as variability dimensions, context, adaptation rules, and soft/hard goals from requirements documents. It also supports modelling of these artefacts as well as their run-time verification and validation.Systems engineeringCongressesSystems engineering620.001171IEEE StaffPQKBPROCEEDING99101410551033212011 IEEE 19th International Conference on Requirements Engineering2400934UNINA