skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Lecture Notes in Computer Science remover assunto: Software Engineering remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal Foundations for Software Engineering Methods
Formal Foundations for Software Engineering Methods
Formal Foundations for Software Engineering Methods
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Foundations for Software Engineering Methods

Heinrich Hussmann

Springer Berlin Heidelberg 1997

Acesso online. A biblioteca também possui exemplares impressos.

2
Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation
Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation

Bucchiarone, Antonio ; Ehrig, Hartmut ; Ermel, Claudia ; Pelliccione, Patrizio ; Runge, Olga Hennicker, Rolf ; De Nicola, Rocco

Software, Services, and Systems, p.582-601 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
3
Verification of Java Programs using symbolic execution and invariant generation
Verification of Java Programs using symbolic execution and invariant generation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Verification of Java Programs using symbolic execution and invariant generation

PASAREANU, Corina S ; VISSER, Willem

Lecture notes in computer science, 2004, p.164-181 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
4
The Maude LTL model checker and its implementation
The Maude LTL model checker and its implementation
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Maude LTL model checker and its implementation

EKER, Steven ; MESEGUER, José ; SRIDHARANARAYANAN, Ambarish

Lecture notes in computer science, 2003, p.230-234 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
5
Using Empirical Studies during Software Courses
Using Empirical Studies during Software Courses
Material Type:
Artigo 		Adicionar ao Meu Espaço

Using Empirical Studies during Software Courses

Carver, Jeffrey ; Jaccheri, Letizia ; Morasca, Sandro ; Shull, Forrest Conradi, Reidar ; Wang, Alf Inge

Empirical Methods and Studies in Software Engineering, p.81-103 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Time-optimal real-time test case generation using UPPAAL
Time-optimal real-time test case generation using UPPAAL
Material Type:
Artigo 		Adicionar ao Meu Espaço

Time-optimal real-time test case generation using UPPAAL

HESSEL, Anders ; LARSEN, Kim G ; NIELSEN, Brian ; PETTERSSON, Paul ; SKOU, Arne

Lecture notes in computer science, 2004, p.114-130 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
7
A Relational Model for Formal Object-Oriented Requirement Analysis in UML
A Relational Model for Formal Object-Oriented Requirement Analysis in UML
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Relational Model for Formal Object-Oriented Requirement Analysis in UML

Liu, Zhiming ; Jifeng, He ; Li, Xiaoshan ; Chen, Yifeng Dong, Jin Song ; Woodcock, Jim

Formal Methods and Software Engineering, 2003, p.641-664 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
Applying OO metrics to assess UML meta-models
Applying OO metrics to assess UML meta-models
Material Type:
Artigo 		Adicionar ao Meu Espaço

Applying OO metrics to assess UML meta-models

HAOHAI MA ; WEIZHONG SHAO ; LU ZHANG ; ZHIYI MA ; YANBING JIANG

Lecture notes in computer science, 2004, p.12-26 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
9
Transactional monitors for concurrent objects
Transactional monitors for concurrent objects
Material Type:
Artigo 		Adicionar ao Meu Espaço

Transactional monitors for concurrent objects

WELC, Adam ; JAGANNATHAN, Suresh ; HOSKING, Antony L

Lecture notes in computer science, 2004, p.519-542 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
10
Practical Experiences in the Design and Conduct of Surveys in Empirical Software Engineering
Practical Experiences in the Design and Conduct of Surveys in Empirical Software Engineering
Material Type:
Artigo 		Adicionar ao Meu Espaço

Practical Experiences in the Design and Conduct of Surveys in Empirical Software Engineering

Ciolkowski, Marcus ; Laitenberger, Oliver ; Vegas, Sira ; Biffl, Stefan Conradi, Reidar ; Wang, Alf Inge

Empirical Methods and Studies in Software Engineering, p.104-128 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

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.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (160)
  2. Livros  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1997  (1)
  2. 1997Até1999  (1)
  3. 2000Até2000  (7)
  4. 2001Até2002  (19)
  5. Após 2002  (134)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Hussmann, H

Neste Assunto:

  1. Software Engineering
  2. Software Engineering
  3. Computer Science
  4. Exact Sciences And Technology
  5. Applied Sciences

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

Buscando em bases de dados remotas. Favor aguardar.