Volume 36; Issue 1

4

Formal verification of UML state diagrams

Year:
2011
Language:
english
File:
PDF, 779 KB
english, 2011
5

TEPE

Year:
2011
Language:
english
File:
PDF, 475 KB
english, 2011
6

Optimum

Year:
2011
Language:
english
File:
PDF, 400 KB
english, 2011
7

Towards a specific software development process for high integrity systems

Year:
2011
Language:
english
File:
PDF, 417 KB
english, 2011
11

Logical time

Year:
2011
Language:
english
File:
PDF, 509 KB
english, 2011
13

Pithy software engineering quotes

Year:
2011
Language:
english
File:
PDF, 81 KB
english, 2011
14

Avoiding work by thinking about working

Year:
2011
Language:
english
File:
PDF, 85 KB
english, 2011
15

Software engineering education (SEEd)

Year:
2011
Language:
english
File:
PDF, 202 KB
english, 2011
16

Surfing the net for software engineering notes

Year:
2011
Language:
english
File:
PDF, 1.32 MB
english, 2011
17

Risks to the public

Year:
2011
Language:
english
File:
PDF, 138 KB
english, 2011
18

Miss Grant's controller

Year:
2011
Language:
english
File:
PDF, 983 KB
english, 2011
20

Design patterns detection using SOP expressions for graphs

Year:
2011
Language:
english
File:
PDF, 1021 KB
english, 2011
21

Web services from a service provider perspective

Year:
2011
Language:
english
File:
PDF, 1.14 MB
english, 2011
22

Object constraint language (OCL)

Year:
2011
Language:
english
File:
PDF, 829 KB
english, 2011
25

Programming in visual basic 2010

Year:
2011
Language:
english
File:
PDF, 57 KB
english, 2011
26

Agile Testing by John Watkins

Year:
2011
Language:
english
File:
PDF, 64 KB
english, 2011
27

P, NP, and NP-Completeness

Year:
2011
Language:
english
File:
PDF, 60 KB
english, 2011
29

Embedding domain-specific modelling languages in maude specifications

Year:
2011
Language:
english
File:
PDF, 328 KB
english, 2011
30

UML in action

Year:
2011
Language:
english
File:
PDF, 643 KB
english, 2011
32

QVT-based model transformation using XSLT

Year:
2011
Language:
english
File:
PDF, 479 KB
english, 2011
33

Quality evolution track at QUATIC 2010

Year:
2011
Language:
english
File:
PDF, 74 KB
english, 2011