skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Electrical Engineering, Electronic Engineering, Information Engineering remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar
Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar
Material Type:
Artigo 		Adicionar ao Meu Espaço

Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar

Autili, Marco ; Grunske, Lars ; Lumpe, Markus ; Pelliccione, Patrizio ; Tang, Antony

IEEE transactions on software engineering, 2015-07, Vol.41 (7), p.620-638 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
2
Recovering from a decade: a systematic mapping of information retrieval approaches to software traceability
Recovering from a decade: a systematic mapping of information retrieval approaches to software traceability
Material Type:
Artigo 		Adicionar ao Meu Espaço

Recovering from a decade: a systematic mapping of information retrieval approaches to software traceability

Borg, Markus ; Runeson, Per ; Ardö, Anders

Empirical software engineering : an international journal, 2014-12, Vol.19 (6), p.1565-1616 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
3
Critical scenario identification for realistic testing of autonomous driving systems
Critical scenario identification for realistic testing of autonomous driving systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Critical scenario identification for realistic testing of autonomous driving systems

Song, Qunying ; Tan, Kaige ; Runeson, Per ; Persson, Stefan

Software quality journal, 2023-06, Vol.31 (2), p.441-469 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
4
Improving requirements-test alignment by prescribing practices that mitigate communication gaps
Improving requirements-test alignment by prescribing practices that mitigate communication gaps
Material Type:
Artigo 		Adicionar ao Meu Espaço

Improving requirements-test alignment by prescribing practices that mitigate communication gaps

Bjarnason, Elizabeth ; Sharp, Helen ; Regnell, Björn

Empirical software engineering : an international journal, 2019-08, Vol.24 (4), p.2364-2409 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
5
FAILURE OF NORMALIZATION IN IMPREDICATIVE TYPE THEORY WITH PROOF-IRRELEVANT PROPOSITIONAL EQUALITY
FAILURE OF NORMALIZATION IN IMPREDICATIVE TYPE THEORY WITH PROOF-IRRELEVANT PROPOSITIONAL EQUALITY
Material Type:
Artigo 		Adicionar ao Meu Espaço

FAILURE OF NORMALIZATION IN IMPREDICATIVE TYPE THEORY WITH PROOF-IRRELEVANT PROPOSITIONAL EQUALITY

Abel, Andreas ; Coquand, Thierry

Logical methods in computer science, 2020-01, Vol.16 (2) [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
6
Using text clustering to predict defect resolution time: a conceptual replication and an evaluation of prediction accuracy
Using text clustering to predict defect resolution time: a conceptual replication and an evaluation of prediction accuracy
Material Type:
Artigo 		Adicionar ao Meu Espaço

Using text clustering to predict defect resolution time: a conceptual replication and an evaluation of prediction accuracy

Assar, Saïd ; Borg, Markus ; Pfahl, Dietmar

Empirical software engineering : an international journal, 2016-08, Vol.21 (4), p.1437-1475 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
7
Solving large instances of the RSA problem in flexgrid elastic optical networks
Solving large instances of the RSA problem in flexgrid elastic optical networks
Material Type:
Artigo 		Adicionar ao Meu Espaço

Solving large instances of the RSA problem in flexgrid elastic optical networks

Klinkowski, Miroslaw ; Zotkiewicz, Mateusz ; Walkowiak, Krzysztof ; Pioro, Michal ; Ruiz, Marc ; Velasco, Luis

Journal of optical communications and networking, 2016-05, Vol.8 (5), p.320-330 [Periódico revisado por pares]

Piscataway: IEEE

Texto completo disponível

Citações Citado por
8
Extending Languages by Leveraging Compilers: From Modelica to Optimica
Extending Languages by Leveraging Compilers: From Modelica to Optimica
Material Type:
Artigo 		Adicionar ao Meu Espaço

Extending Languages by Leveraging Compilers: From Modelica to Optimica

Hedin, Görel ; Åkesson, J ; Ekman, Torbjörn

IEEE software, 2011-05, Vol.28 (3), p.68-74 [Periódico revisado por pares]

Los Alamitos, CA: IEEE

Texto completo disponível

Citações Citado por
9
Java simulations of embedded control systems
Java simulations of embedded control systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Java simulations of embedded control systems

Farias, Gonzalo ; Cervin, Anton ; Arzén, Karl-Erik ; Dormido, Sebastián ; Esquembre, Francisco

Sensors (Basel, Switzerland), 2010-09, Vol.10 (9), p.8585-8603 [Periódico revisado por pares]

Switzerland: MDPI AG

Texto completo disponível

Citações Citado por
10
Application of Software design patterns to DSP library design
Application of Software design patterns to DSP library design
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Application of Software design patterns to DSP library design

Åström, Pontus ; Johansson, Stefan ; Nilsson, Peter

14th International Symposium on System Synthesis (ISSS 2001),Montreal, Canada,2001-10-01 - 2001-10-03, 2001, p.239-243

ACM

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (59)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (57)
  2. Anais de Congresso  (12)
  3. Book Chapters  (3)
  4. Dissertações  (2)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1999  (6)
  2. 1999Até2007  (7)
  3. 2008Até2013  (15)
  4. 2014Até2019  (27)
  5. Após 2019  (21)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.