skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Software Engineering remover assunto: System Design remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Specification and Design of Software Systems: Conference on Operating Systems Visegrad, Hungary, January 23–27, 1982 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Specification and Design of Software Systems: Conference on Operating Systems Visegrad, Hungary, January 23–27, 1982 Proceedings

Knuth, Elöd ; Neuhold, Erich J Knuth, Elöd ; Neuhold, Erich J.

Berlin, Heidelberg: Springer Berlin Heidelberg 1983

Texto completo disponível

2
Standards, guidelines, and examples on system and software requirements engineering
Material Type:
Livro
Adicionar ao Meu Espaço

Standards, guidelines, and examples on system and software requirements engineering

M Dorfman (Merlin); Richard H Thayer

Los Alamitos, Calif. IEEE Computer Society Press c1990

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004.41 D7322s )(Acessar)

3
Studying usability of AI in the IoT systems/paradigm through embedding NN techniques into mobile smart service system
Material Type:
Artigo
Adicionar ao Meu Espaço

Studying usability of AI in the IoT systems/paradigm through embedding NN techniques into mobile smart service system

Poniszewska-Maranda, Aneta ; Kaczmarek, Daniel ; Kryvinska, Natalia ; Xhafa, Fatos

Computing, 2019-11, Vol.101 (11), p.1661-1685 [Periódico revisado por pares]

Vienna: Springer Vienna

Texto completo disponível

4
Enterprise Architecture Patterns: Practical Solutions for Recurring IT-Architecture Problems
Material Type:
Livro
Adicionar ao Meu Espaço

Enterprise Architecture Patterns: Practical Solutions for Recurring IT-Architecture Problems

Perroud, Thierry ; Inversini, Reto

Berlin, Heidelberg: Springer Berlin / Heidelberg 2013

Texto completo disponível

5
Designing and constructing internet-of-Things systems: An overview of the ecosystem
Material Type:
Artigo
Adicionar ao Meu Espaço

Designing and constructing internet-of-Things systems: An overview of the ecosystem

Dias, João Pedro ; Restivo, André ; Ferreira, Hugo Sereno

Internet of things (Amsterdam. Online), 2022-08, Vol.19, p.100529, Article 100529 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

6
Scenario-based system design with colored Petri nets: an application to train control systems
Material Type:
Artigo
Adicionar ao Meu Espaço

Scenario-based system design with colored Petri nets: an application to train control systems

Wu, Daohua ; Schnieder, Eckehard

Software and systems modeling, 2018-02, Vol.17 (1), p.295-317 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

7
Principles of Computer System Design: An Introduction
Material Type:
Livro
Adicionar ao Meu Espaço

Principles of Computer System Design: An Introduction

Saltzer, Jerome H ; Kaashoek, M. Frans

San Diego: Elsevier Science 2009

Texto completo disponível

8
Cooperative Design, Visualization, and Engineering: First International Conference, CDVE 2004, Palma de Mallorca, Spain, September 19-22, 2004, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Cooperative Design, Visualization, and Engineering: First International Conference, CDVE 2004, Palma de Mallorca, Spain, September 19-22, 2004, Proceedings

Luo, Yuhua Luo, Yuhua

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

9
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 II
Material Type:
Livro
Adicionar ao Meu Espaço

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 II

Groote, Jan Friso ; Larsen, Kim Guldstrand Groote, Jan Friso ; Larsen, Kim Guldstrand

Cham: Springer Nature 2021

Texto completo disponível

10
FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

Giannakopoulou, Dimitra ; Mery, Dominique Giannakopoulou, Dimitra ; Mery, Dominique ; Méry, Dominique ; Giannakopoulou, Dimitra

Netherlands: Springer Nature 2012

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (198)
  2. Artigos  (38)
  3. magazinearticle  (27)
  4. Anais de Congresso  (7)
  5. Dissertações  (2)
  6. Book Chapters  (2)
  7. Reports  (1)
  8. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1989  (18)
  2. 1989Até1996  (47)
  3. 1997Até2004  (127)
  4. 2005Até2013  (112)
  5. Após 2013  (65)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (272)
  2. Alemão  (3)
  3. Espanhol  (2)
  4. Japonês  (1)
  5. Tcheco  (1)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Thayer, R
  2. TACAS 2006
  3. Vanderdonckt, J
  4. Farenc, C
  5. Hermanns, H

Buscando em bases de dados remotas. Favor aguardar.