3

A Formal Approach to Product Semantics with an Application to Sustainable Design

Year:
2005
Language:
english
File:
PDF, 1.06 MB
english, 2005
7

A case study in formal product semantics

Year:
2007
Language:
english
File:
PDF, 1.19 MB
english, 2007
10

History, principles and application of the SPRINT method

Year:
1998
Language:
english
File:
PDF, 638 KB
english, 1998
16

Spiral aftereffect duration as a correlate of impulsiveness

Year:
1974
Language:
english
File:
PDF, 575 KB
english, 1974
19

Languages for formalizing, visualizing and verifying software architectures

Year:
2001
Language:
english
File:
PDF, 271 KB
english, 2001
27

Biofeedback for Everyday Stress Management: A Systematic Review

Year:
2018
Language:
english
File:
PDF, 1.67 MB
english, 2018
28

Unwind: a musical biofeedback for relaxation assistance

Year:
2018
Language:
english
File:
PDF, 2.34 MB
english, 2018
33

A relational approach to support software architecture analysis

Year:
1998
Language:
english
File:
PDF, 425 KB
english, 1998
35

Abstract derivation of transitive closure algorithms

Year:
1997
Language:
english
File:
PDF, 529 KB
english, 1997
36

Mechanisms for naming An algebraic approach with an application to Java

Year:
2001
Language:
english
File:
PDF, 295 KB
english, 2001
37

Component algebra

Year:
2002
Language:
english
File:
PDF, 418 KB
english, 2002
39

Natural language and message sequence chart representation of use cases

Year:
2000
Language:
english
File:
PDF, 1.26 MB
english, 2000
41

Synchronous sequence charts in action

Year:
1997
Language:
english
File:
PDF, 2.22 MB
english, 1997
44

Generating FSMs from interworkings

Year:
1999
Language:
english
File:
PDF, 121 KB
english, 1999
45

Longitudinal Examination of the Relationship Between Supplies–Values Fit and Work Outcomes

Year:
2001
Language:
english
File:
PDF, 365 KB
english, 2001