Authors: Haeri, Seyed Hossein, Thompson, Peter, Davies, Neil, Van Roy, Peter, Hammond, Kevin, Chapman, James

Contributors: UCL - SST/ICTM/INGI - Pôle en ingénierie informatique

Superior Title: Computers, Vol. 11, no. 45 (March 2022)

Subject Terms: formal semantics, quality attenuation, system design, scalability, performance, distributed systems

Relation: boreal:267805; Computers 2022, 11, 45; http://hdl.handle.net/2078.1/267805

Availability: http://hdl.handle.net/2078.1/267805

Authors: Scialpi, Giulia, Perrotti, Daniela

Contributors: UCL - SST/ILOC - Faculté d'Architecture, d'Ingénierie architecturale, d'Urbanisme

Subject Terms: urban metabolism, Ecosystem services, Material flows and stocks, Nature-based solutions, urban system design

Relation: boreal:242016; http://hdl.handle.net/2078.1/242016

Availability: http://hdl.handle.net/2078.1/242016

Authors: Hazée, Simon, Van Vaerenbergh, Yves, Delcourt, Cécile, Kabadayi, Sertan

Contributors: UCL - SSH/LouRIM - Louvain Research Institute in Management and Organizations

Superior Title: International Journal of Operations & Production Management, Vol. 40, no. 4, p. 459-479 (2020)

Subject Terms: Product-Service Systems, Servitization, Risk management, Service delivery system design, Trust, Sharing economy

Relation: boreal:229931; http://hdl.handle.net/2078.1/229931; urn:ISSN:0144-3577

Availability: https://doi.org/10.1108/ijopm-08-2019-0581
http://hdl.handle.net/2078.1/229931

Authors: Tung Do, T., Faulkner, Stéphane, Kolp, Manuel

Contributors: UCL - ESPO/IAG - Département d'administration et de gestion, UCL - School of Management

Subject Terms: Multi-Agent Systems, Organizational Styles, System Design, Architectural Patterns

Relation: boreal:5424; http://hdl.handle.net/2078.1/5424

Availability: http://hdl.handle.net/2078.1/5424

Authors: Combéfis, Sébastien, 3rd International Workshop on Formal Methods for Interactive Systems (FMIS 2009)

Contributors: UCL - SST/ICTM/INGI - Pôle en ingénierie informatique

Subject Terms: Formal methods, Human-Computer Interaction, Parallel synchroniza- tion, User tasks, System Design Evaluation and Comparison, QA75

Time: 1162

Relation: boreal:140288; http://hdl.handle.net/2078.1/140288

Availability: http://hdl.handle.net/2078.1/140288

Authors: Combéfis, Sébastien, 3rd International Workshop on Formal Methods for Interactive Systems (FMIS 2009)

Contributors: UCL - FSA/INGI - Département d'ingénierie informatique

Subject Terms: Short paper, ICTEAM:SOFT, Formal methods, Human-Computer Interaction, Task-System Integration, Parallel synchronization, User tasks, System Design Evaluation and Comparison, QA75

Time: 1162

Relation: boreal:79458; http://hdl.handle.net/2078.1/79458

Availability: http://hdl.handle.net/2078.1/79458

Authors: van Lamsweerde, Axel, 16 th ACM SIGSOFT Symposium on Foundations of Software Engineering

Contributors: UCL - FSA/INGI - Département d'ingénierie informatique

Subject Terms: Requirements engineering, System design, Problem modeling, Goal orientation, Operationalization, Responsibility assignment, Specification construction, Lightweight analysis, Formal derivation, QA75

Time: 1162

Relation: boreal:88942; http://hdl.handle.net/2078.1/88942

Availability: http://hdl.handle.net/2078.1/88942