392 citations
- Centre National de la Recherche ScientifiqueFR10 papers
- Dartmouth CollegeUS9 papers
- North Carolina State UniversityUS9 papers
- Instituto de Astrofísica de CanariasES8 papers
- Iowa State UniversityUS8 papers
- Astronomical Observatory of RomeIT7 papers
- Friedrich-Alexander-Universität Erlangen-NürnbergDE7 papers
- Oak Ridge National LaboratoryUS7 papers
- The University of Texas at AustinUS7 papers
- The University of TokyoJP7 papers
- Astronomical Observatory of CapodimonteIT6 papers
- Carnegie ObservatoriesUS6 papers
6 papers · 1 filter
Emotionally-Informed Decisions: Bringing Gut's Feelings into Self-adaptive and Co-adaptive Software Systems
Emmanuelle Tognoli, Shihong Huang
Software systems now complement an incredibly vast number of human activities, and much effort has been deployed to make them quasi-autonomous with the build-up of increasingly per…
Towards Bridging the Gap between Control and Self-Adaptive System Properties
Javier Cámara, Alessandro V. Papadopoulos, Thomas Vogel +4
Two of the main paradigms used to build adaptive software employ different types of properties to capture relevant aspects of the system's run-time behavior. On the one hand, contr…
Landscape of IoT Patterns
Hironori Washizaki, Nobukazu Yoshioka, Atsuo Hazeyama +5
Patterns are encapsulations of problems and solutions under specific contexts. As the industry is realizing many successes (and failures) in IoT systems development and operations,…
Developing the UML as a Formal Modelling Notation
Andy Evans, Robert France, Kevin Lano +1
The Unified Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML have a well- defined, fully…
The UML as a Formal Modeling Notation
Andy Evans, Robert France, Kevin Lano +1
The Unified Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-defined, fully…
Critical Systems Development Using Modeling Languages. (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop)
Jan Jürjens, Eduardo B. Fernandez, Robert B. France +2
We give a short report on the contributions to and some discussions made and conclusions drawn at the Third International Workshop on Critical Systems Development Using Modeling La…