Sökning: WFRF:(Ray Suprio) > (2015) > Software Engineerin...
Fältnamn | Indikatorer | Metadata |
---|---|---|
000 | 04013naa a2200553 4500 | |
001 | oai:lup.lub.lu.se:992f4aee-ce17-4e28-9ee3-fe2bf9bdeec1 | |
003 | SwePub | |
008 | 160404s2015 | |||||||||||000 ||eng| | |
009 | oai:DiVA.org:lnu-51288 | |
024 | 7 | a https://lup.lub.lu.se/record/52399592 URI |
024 | 7 | a https://doi.org/10.1109/SEAMS.2015.122 DOI |
024 | 7 | a https://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-512882 URI |
040 | a (SwePub)lud (SwePub)lnu | |
041 | a engb eng | |
042 | 9 SwePub | |
072 | 7 | a kon2 swepub-publicationtype |
072 | 7 | a ref2 swepub-contenttype |
100 | 1 | a Filieri, Antonio4 aut |
245 | 1 0 | a Software Engineering Meets Control Theory |
264 | 1 | a Piscataway, NJ, USA :b IEEE Press,c 2015 |
520 | a The software engineering community has proposed numerous approaches for making software self-adaptive. These approaches take inspiration from machine learning and control theory, constructing software that monitors and modifies its own behavior to meet goals. Control theory, in particular, has received considerable attention as it represents a general methodology for creating adaptive systems. Control-theoretical software implementations, however, tend to be ad hoc. While such solutions often work in practice, it is difficult to understand and reason about the desired properties and behavior of the resulting adaptive software and its controller. This paper discusses a control design process for software systems which enables automatic analysis and synthesis of a controller that is guaranteed to have the desired properties and behavior. The paper documents the process and illustrates its use in an example that walks through all necessary steps for self-adaptive controller synthesis. | |
650 | 7 | a TEKNIK OCH TEKNOLOGIERx Elektroteknik och elektronikx Reglerteknik0 (SwePub)202022 hsv//swe |
650 | 7 | a ENGINEERING AND TECHNOLOGYx Electrical Engineering, Electronic Engineering, Information Engineeringx Control Engineering0 (SwePub)202022 hsv//eng |
650 | 7 | a NATURVETENSKAPx Data- och informationsvetenskapx Datavetenskap0 (SwePub)102012 hsv//swe |
650 | 7 | a NATURAL SCIENCESx Computer and Information Sciencesx Computer Sciences0 (SwePub)102012 hsv//eng |
700 | 1 | a Maggio, Martinau Lund University,Lunds universitet,Institutionen för reglerteknik,Institutioner vid LTH,Lunds Tekniska Högskola,Department of Automatic Control,Departments at LTH,Faculty of Engineering, LTH4 aut0 (Swepub:lu)cont-mmo |
700 | 1 | a Angelopoulos, Konstantinos4 aut |
700 | 1 | a D'Ippolito, Nicolas4 aut |
700 | 1 | a Gerostathopoulos, Ilias4 aut |
700 | 1 | a Hempel, Andreas Berndt4 aut |
700 | 1 | a Hoffmann, Henry4 aut |
700 | 1 | a Jamshidi, Pooyan4 aut |
700 | 1 | a Kalyvianaki, Evangelia4 aut |
700 | 1 | a Klein, Cristian4 aut |
700 | 1 | a Krikava, Filip4 aut |
700 | 1 | a Misailovic, Sasa4 aut |
700 | 1 | a Papadopoulos, Alessandro Vittoriou Lund University,Lunds universitet,Institutionen för reglerteknik,Institutioner vid LTH,Lunds Tekniska Högskola,Department of Automatic Control,Departments at LTH,Faculty of Engineering, LTH4 aut0 (Swepub:lu)cont-alp |
700 | 1 | a Ray, Suprio4 aut |
700 | 1 | a Sharifloo, Amir M.4 aut |
700 | 1 | a Shevtsov, Stepanu Linnéuniversitetet,Institutionen för datavetenskap (DV),Adaptwise4 aut0 (Swepub:lnu)stshaa |
700 | 1 | a Ujma, Mateusz4 aut |
700 | 1 | a Vogel, Thomas4 aut |
710 | 2 | a Institutionen för reglerteknikb Institutioner vid LTH4 org |
773 | 0 | t 2015 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systemsd Piscataway, NJ, USA : IEEE Pressg , s. 71-82q <71-82z 9780769555676 |
856 | 4 | u http://dx.doi.org/10.1109/SEAMS.2015.12x freey FULLTEXT |
856 | 4 | u http://dl.acm.org/citation.cfm?id=2821370y Paper at ACM Digital Library |
856 | 4 8 | u https://lup.lub.lu.se/record/5239959 |
856 | 4 8 | u https://doi.org/10.1109/SEAMS.2015.12 |
856 | 4 8 | u https://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-51288 |
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
Kopiera och spara länken för att återkomma till aktuell vy