119 citations
- University of Southern DenmarkDK8 papers
- Technical University of MunichDE2 papers
- Aalborg UniversityDK1 paper
- Bandung Institute of TechnologyID1 paper
- Beihang UniversityCN1 paper
- Bernstein Center for Computational Neuroscience GöttingenDE1 paper
- Clausthal University of TechnologyDE1 paper
- Institut Teknologi Sepuluh NopemberID1 paper
- Italian Institute of TechnologyIT1 paper
- Khalifa University of Science and TechnologyAE1 paper
- Mehran University of Engineering and TechnologyPK1 paper
- Polytechnic University of BariIT1 paper
4 papers · 1 filter
A Modifiable Architectural Design for Commercial Greenhouses Energy Economic Dispatch Testbed
Christian Skafte Beck Clausen, Bo Nørregaard Jørgensen, Zheng Grace Ma
Facing economic challenges due to the diverse objectives of businesses, and consumers, commercial greenhouses strive to minimize energy costs while addressing CO2 emissions. This s…
A Formal Verification Technique for Architecture-based Embedded Systems in EAST-ADL
Eun-Young Kang
Development of quality assured software-intensive systems, such as automotive embedded systems, is an increasing challenge as the complexity of these systems significantly increase…
On the Use of Variability Operations in the V-Modell XT Software Process Line
Marco Kuhrmann, Daniel Méndez Fernández, Thomas Ternité
Software process lines provide a systematic approach to develop and manage software processes. It defines a reference process containing general process assets, whereas a well-defi…
From Pragmatic to Systematic Software Process Improvement: An Evaluated Approach
Marco Kuhrmann, Daniel Méndez Fernández
Software processes improvement (SPI) is a challenging task, as many different stakeholders, project settings, and contexts and goals need to be considered. SPI projects are often o…