Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Tese de Doutorado
|
Componentes de software no planejamento da operação energética de sistemas hidrotérmicosRabêlo, Ricardo De Andrade LiraBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola de Engenharia de São Carlos 2010-08-02Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Artigo
|
Exploiting self-organization and fault tolerance in wireless sensor networks a case study on wildfire detection applicationFelipe Taliar Giuntini Delano Medeiros Beder; Jó UeyamaInternational Journal of Distributed Sensor Networks Thousand Oaks, CA : SAGE Publications v. 13, n. 4, 1-16, 2017Thousand Oaks, CA 2017Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2843698 )(Acessar) |
|
3 |
Material Type: Artigo
|
Component‐based specification, design and verification of adaptive systemsGraics, Bence ; Molnár, Vince ; Majzik, IstvánSystems engineering, 2023-09, Vol.26 (5), p.567-589 [Periódico revisado por pares]Hoboken: Wiley Subscription Services, IncTexto completo disponível |
|
4 |
Material Type: Artigo
|
A complexity measure for UML component-based system specificationMahmood, Sajjad ; Lai, RichardSoftware, practice & experience, 2008-02, Vol.38 (2), p.117-134 [Periódico revisado por pares]Chichester, UK: John Wiley & Sons, LtdTexto completo disponível |
|
5 |
Material Type: Artigo
|
Path testing based reliability analysis framework of component based software systemKaliraj, S. ; Bharathi, A.Measurement : journal of the International Measurement Confederation, 2019-10, Vol.144, p.20-32 [Periódico revisado por pares]London: Elsevier LtdTexto completo disponível |
|
6 |
Material Type: Artigo
|
Information flow control of component-based distributed systemsSfaxi, Lilia ; Abdellatif, Takoua ; Robbana, Riadh ; Lakhnech, YassineConcurrency and computation, 2013-02, Vol.25 (2), p.161-179 [Periódico revisado por pares]Blackwell Publishing LtdTexto completo disponível |
|
7 |
Material Type: Artigo
|
Induction in component-based software synthesisGiedrimas, VaidasLietuvos matematikos rinkinys, 2023-09, Vol.46 (spec.), p.103-106 [Periódico revisado por pares]Vilnius University PressTexto completo disponível |
|
8 |
Material Type: Artigo
|
On Design-time Modelling and Verification of Safety-critical Component-based SystemsKajtazovic, Nermin ; Preschern, Christopher ; Höller, Andrea ; Kreiner, ChristianThe International journal of networked and distributed computing (Online), 2014-07, Vol.2 (3), p.175-188 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
|
9 |
Material Type: Artigo
|
Tackling rapid technology changes by applying enterprise engineering theoriesDvořák, Ondřej ; Pergl, RobertScience of computer programming, 2022-03, Vol.215, p.102747, Article 102747 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
10 |
Material Type: Artigo
|
Observation-Enhanced QoS Analysis of Component-Based SystemsPaterson, Colin ; Calinescu, RaduIEEE transactions on software engineering, 2020-05, Vol.46 (5), p.526-548 [Periódico revisado por pares]New York: IEEETexto completo disponível |