Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited PapersAna Bazzan; Kai Nagel; Mohammad-Reza Namazi-Rad; Lin Padgham; Pascal PerezCham Springer 2017Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004.8 Ag36 )(Acessar) |
|
2 |
Material Type: Livro
|
Foundations of Multi-Paradigm Modelling for Cyber-Physical SystemsCarreira, Paulo ; Amaral, Vasco ; Vangheluwe, Hans Carreira, Paulo ; Amaral, Vasco ; Vangheluwe, Hans ; Amaral, Vasco ; Carreira, PauloNetherlands: Springer Nature 2020Texto completo disponível |
|
3 |
Material Type: Artigo
|
Security Requirements Engineering: A Framework for Representation and AnalysisHaley, C.B. ; Laney, R. ; Moffett, J.D. ; Nuseibeh, B.IEEE transactions on software engineering, 2008-01, Vol.34 (1), p.133-153 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
4 |
Material Type: Livro
|
Mobile, Secure, and Programmable Networking: Second International Conference, MSPN 2016, Paris, France, June 1-3, 2016, Revised Selected PapersBoumerdassi, Selma ; Renault, Éric ; Bouzefrane, Samia Boumerdassi, Selma ; Bouzefrane, Samia ; Renault, 'ric ; Boumerdassi, Selma ; Bouzefrane, Samia ; Renault, ÉricCham: Springer Nature 2016Texto completo disponível |
|
5 |
Material Type: Artigo
|
NDT. A Model-Driven Approach for Web RequirementsJose Escalona, M. ; Aragon, G.IEEE transactions on software engineering, 2008-05, Vol.34 (3), p.377-390 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
6 |
Material Type: Livro
|
Process Mining: Discovery, Conformance and Enhancement of Business ProcessesAalst, Wil M. P. van derBerlin, Heidelberg: Springer-Verlag 2011Texto completo disponível |
|
7 |
Material Type: Livro
|
Cyber-Physical Systems of Systems: Foundations – A Conceptual Model and Some Derivations: The AMADEOS LegacyBondavalli, Andrea ; Bouchenak, Sara ; Kopetz, Hermann Kopetz, Hermann ; Bouchenak, Sara ; Bondavalli, AndreaCham: Springer Open 2016Texto completo disponível |
|
8 |
Material Type: Artigo
|
An Attack Surface MetricManadhata, P K ; Wing, J MIEEE transactions on software engineering, 2011-05, Vol.37 (3), p.371-386 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
9 |
Material Type: Livro
|
Process Mining: Data Science in Actionvan der Aalst, Wil M. PBerlin, Heidelberg: Springer Berlin / Heidelberg 2016Texto completo disponível |
|
10 |
Material Type: Artigo
|
A survey of controlled experiments in software engineeringSjoeberg, D.I.K. ; Hannay, J.E. ; Hansen, O. ; Kampenes, V.B. ; Karahasanovic, A. ; Liborg, N.-K. ; Rekdal, A.C.IEEE transactions on software engineering, 2005-09, Vol.31 (9), p.733-753 [Periódico revisado por pares]New York: IEEETexto completo disponível |