Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
21 |
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 |
22 |
Material Type: Artigo
|
![]() |
The Reflective Practitioner Perspective in eXtreme ProgrammingHazzan, Orit ; Tomayko, Jim Maurer, Frank ; Wells, DonExtreme Programming and Agile Methods - XP/Agile Universe 2003, 2003, p.51-61 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
23 |
Material Type: Artigo
|
![]() |
Product Line Potential AnalysisFRITSCH, Claudia ; HAHN, RalfLecture notes in computer science, 2004, p.228-237 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
24 |
Material Type: Artigo
|
![]() |
Efficient Path Finding with the Sweep-Line Method Using External StorageKristensen, Lars Michael ; Mailund, Thomas Dong, Jin Song ; Woodcock, JimFormal Methods and Software Engineering, 2003, p.319-337 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
25 |
Material Type: Artigo
|
![]() |
Unifying recursive and co-recursive definitions in sheaf categoriesDI GIANANTONIO, Pietro ; MICULAN, MarinoLecture notes in computer science, 2004, p.136-150 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
26 |
Material Type: Artigo
|
![]() |
Using Formal Methods to Serialize Synchronization EventsChen, Jessica Dong, Jin Song ; Woodcock, JimFormal Methods and Software Engineering, 2003, p.34-47 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
27 |
Material Type: Artigo
|
![]() |
Modal abstractions in μCRLVAN DE POL, Jaco ; ESPADA, Miguel ValeroLecture notes in computer science, 2004, p.409-425 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
28 |
Material Type: Artigo
|
![]() |
Automatic generation of program families by model restrictionsWASOWSKI, AndrzejLecture notes in computer science, 2004, p.73-89 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
29 |
Material Type: Artigo
|
![]() |
Towards a Workflow Model of Real-Time Cooperative SystemsDu, Yuyue ; Jiang, Changjun Dong, Jin Song ; Woodcock, JimFormal Methods and Software Engineering, 2003, p.452-470 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
30 |
Material Type: Artigo
|
![]() |
Defining a quality model for mail serversCARVALLO, Juan Pablo ; FRANCH, Xavier ; QUER, CarmeLecture notes in computer science, 2003, p.51-61 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |