Search Results - "Definitions."

41

A specification language for coordinated objects. by Ciobanu, Gabriel

Published in Software engineering notes.

Article

A specification language for coordinated objects.

42

π-AAL an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures. by Mateescu, Radu

Published in Software engineering notes.

Article

π-AAL an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures.

43

Formally modelling software architectures with the UML 2.0 profile for π-ADL. by Oquendo, Flavio

Published in Software engineering notes.

Article

44

A graph based architectural (Re)configuration language. by Wermelinger, Michel

Published in Software engineering notes.

Article

A graph based architectural (Re)configuration language.

45

Modular verification of collaboration-based software designs. by Fisler, Kathi

Published in Software engineering notes.

Article

Modular verification of collaboration-based software designs.

46

Component revision identification based on IDL by Brada, Přemysl

Published in Software engineering notes.

Article

Component revision identification based on IDL

47

Network evolution in the context of the global information infrastructure. by Lu, Hui-Lan

Published in IEEE Communications magazine

Article

Network evolution in the context of the global information infrastructure.

48

RATES a server for MPLS traffic engineering. by Aukia, P.

Published in IEEE Network : the magazine of global information exchange

Article

RATES a server for MPLS traffic engineering.

49

A parameterizable methodology for Internet traffic flow profiling. by Claffy, K.C

Published in IEEE Journal on selected areas in communications

Article

A parameterizable methodology for Internet traffic flow profiling.

50

The cool sound of tubes [vacuum tube musical applications]. by Barbour, E.

Published in IEEE spectrum

Article

A specification language for coordinated objects. by Ciobanu, Gabriel

π-AAL an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures. by Mateescu, Radu

Formally modelling software architectures with the UML 2.0 profile for π-ADL. by Oquendo, Flavio

A graph based architectural (Re)configuration language. by Wermelinger, Michel

Modular verification of collaboration-based software designs. by Fisler, Kathi

Component revision identification based on IDL by Brada, Přemysl

Network evolution in the context of the global information infrastructure. by Lu, Hui-Lan

RATES a server for MPLS traffic engineering. by Aukia, P.

A parameterizable methodology for Internet traffic flow profiling. by Claffy, K.C

The cool sound of tubes [vacuum tube musical applications]. by Barbour, E.

Search Tools:

Refine Results

CAMPUS

DATABASE

UNIT LIBRARY

YEAR OF PUBLICATION

CLASSIFICATION

SUBJECT

AUTHOR

RESOURCE TYPE

LANGUAGE