Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Artigo
|
![]() |
The Role of Reflective Middleware in Supporting the Engineering of Dynamic ApplicationsCosta, Fábio M. ; Duran, Hector A. ; Parlavantzas, Nikos ; Saikoski, Katia B. ; Blair, Gordon ; Coulson, GeoffLecture notes in computer science, 2000, p.79-98 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
12 |
Material Type: Artigo
|
![]() |
The Maude LTL model checker and its implementationEKER, Steven ; MESEGUER, José ; SRIDHARANARAYANAN, AmbarishLecture notes in computer science, 2003, p.230-234 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
13 |
Material Type: Artigo
|
![]() |
Time-optimal real-time test case generation using UPPAALHESSEL, Anders ; LARSEN, Kim G ; NIELSEN, Brian ; PETTERSSON, Paul ; SKOU, ArneLecture notes in computer science, 2004, p.114-130 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
14 |
Material Type: Artigo
|
![]() |
A Relational Model for Formal Object-Oriented Requirement Analysis in UMLLiu, Zhiming ; Jifeng, He ; Li, Xiaoshan ; Chen, YifengFormal Methods and Software Engineering, 2003, p.641-664 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
15 |
Material Type: Artigo
|
![]() |
Applying OO metrics to assess UML meta-modelsHAOHAI MA ; WEIZHONG SHAO ; LU ZHANG ; ZHIYI MA ; YANBING JIANGLecture notes in computer science, 2004, p.12-26 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
16 |
Material Type: Artigo
|
![]() |
Transactional monitors for concurrent objectsWELC, Adam ; JAGANNATHAN, Suresh ; HOSKING, Antony LLecture notes in computer science, 2004, p.519-542 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
17 |
Material Type: Artigo
|
![]() |
Model-driven development for non-functional properties: Refinement through model transformationRÖTTGER, Simone ; ZSCHALER, SteffenLecture notes in computer science, 2004, p.275-289 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
18 |
Material Type: Artigo
|
![]() |
Building Communities among Software Engineers: The ViSEK Approach to Intra- and Inter-Organizational LearningHofmann, Britta ; Wulf, VolkerAdvances in Learning Software Organizations, 2003, p.25-33 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
19 |
Material Type: Artigo
|
![]() |
Comparison of methods and existing tools for the measurement of usability in the webALVA O, Maria E ; MARTINEZ P, Ana B ; CUEVA L, Juan M ; SAGASTEGUI CH, T. Hernan ; LOPEZ P, BenjaminLecture notes in computer science, 2003, p.386-389 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
20 |
Material Type: Artigo
|
![]() |
Extending OCL for secure database developmentFERNANDEZ-MEDINA, Eduardo ; PIATTINI, MarioLecture notes in computer science, 2004, p.380-394 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |