Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Specification and Design of Software Systems: Conference on Operating Systems Visegrad, Hungary, January 23–27, 1982 ProceedingsKnuth, Elöd ; Neuhold, Erich J Knuth, Elöd ; Neuhold, Erich J.Berlin, Heidelberg: Springer Berlin Heidelberg 1983Texto completo disponível |
|
2 |
Material Type: Livro
|
Standards, guidelines, and examples on system and software requirements engineeringM Dorfman (Merlin); Richard H ThayerLos Alamitos, Calif. IEEE Computer Society Press c1990Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004.41 D7322s )(Acessar) |
|
3 |
Material Type: Artigo
|
Studying usability of AI in the IoT systems/paradigm through embedding NN techniques into mobile smart service systemPoniszewska-Maranda, Aneta ; Kaczmarek, Daniel ; Kryvinska, Natalia ; Xhafa, FatosComputing, 2019-11, Vol.101 (11), p.1661-1685 [Periódico revisado por pares]Vienna: Springer ViennaTexto completo disponível |
|
4 |
Material Type: Livro
|
Enterprise Architecture Patterns: Practical Solutions for Recurring IT-Architecture ProblemsPerroud, Thierry ; Inversini, RetoBerlin, Heidelberg: Springer Berlin / Heidelberg 2013Texto completo disponível |
|
5 |
Material Type: Artigo
|
Designing and constructing internet-of-Things systems: An overview of the ecosystemDias, João Pedro ; Restivo, André ; Ferreira, Hugo SerenoInternet of things (Amsterdam. Online), 2022-08, Vol.19, p.100529, Article 100529 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
6 |
Material Type: Artigo
|
Scenario-based system design with colored Petri nets: an application to train control systemsWu, Daohua ; Schnieder, EckehardSoftware and systems modeling, 2018-02, Vol.17 (1), p.295-317 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
7 |
Material Type: Livro
|
Principles of Computer System Design: An IntroductionSaltzer, Jerome H ; Kaashoek, M. FransSan Diego: Elsevier Science 2009Texto completo disponível |
|
8 |
Material Type: Livro
|
Cooperative Design, Visualization, and Engineering: First International Conference, CDVE 2004, Palma de Mallorca, Spain, September 19-22, 2004, ProceedingsLuo, Yuhua Luo, YuhuaBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
|
9 |
Material Type: Livro
|
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part IIGroote, Jan Friso ; Larsen, Kim Guldstrand Groote, Jan Friso ; Larsen, Kim GuldstrandCham: Springer Nature 2021Texto completo disponível |
|
10 |
Material Type: Livro
|
FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012. ProceedingsGiannakopoulou, Dimitra ; Mery, Dominique Giannakopoulou, Dimitra ; Mery, Dominique ; Méry, Dominique ; Giannakopoulou, DimitraNetherlands: Springer Nature 2012Texto completo disponível |