On the Horizontal Dimension of Software Architecture in Formal Specifications of Reactive Systems

M. Katara; R. Kurki-Suonio; T. Mikkonen

On the Horizontal Dimension of Software Architecture in Formal Specifications of Reactive Systems

M. Katara
, R. Kurki-Suonio
, T. Mikkonen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Translated title of the contribution	On the Horizontal Dimension of Software Architecture in Formal Specifications of Reactive Systems
Original language	English
Title of host publication	FOAL 2004 Proceedings, Foundations of Aspect-Oriented Languages Workshop at AOSD 2004, Department of Computer Science, Iowa State University, Ames, Iowa, USA
Editors	C. Clifton, R. Lämmel, G.T. Leavens
Pages	37-43
Publication status	Published - 2004
Publication type	A4 Article in conference proceedings

Publication forum classification

No publication forum level

Cite this

Katara, M., Kurki-Suonio, R., & Mikkonen, T. (2004). On the Horizontal Dimension of Software Architecture in Formal Specifications of Reactive Systems. In C. Clifton, R. Lämmel, & G. T. Leavens (Eds.), FOAL 2004 Proceedings, Foundations of Aspect-Oriented Languages Workshop at AOSD 2004, Department of Computer Science, Iowa State University, Ames, Iowa, USA (pp. 37-43)

@inproceedings{b503d547d36a4ce793982dbdd94ab4b4,

title = "On the Horizontal Dimension of Software Architecture in Formal Specifications of Reactive Systems",

author = "M. Katara and R. Kurki-Suonio and T. Mikkonen",

note = "Contribution: organisation=ohj,FACT1=1",

year = "2004",

language = "English",

pages = "37--43",

editor = "C. Clifton and R. L{\"a}mmel and G.T. Leavens",

booktitle = "FOAL 2004 Proceedings, Foundations of Aspect-Oriented Languages Workshop at AOSD 2004, Department of Computer Science, Iowa State University, Ames, Iowa, USA",

}

On the Horizontal Dimension of Software Architecture in Formal Specifications of Reactive Systems. / Katara, M.; Kurki-Suonio, R.; Mikkonen, T.
FOAL 2004 Proceedings, Foundations of Aspect-Oriented Languages Workshop at AOSD 2004, Department of Computer Science, Iowa State University, Ames, Iowa, USA. ed. / C. Clifton; R. Lämmel; G.T. Leavens. 2004. p. 37-43.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - On the Horizontal Dimension of Software Architecture in Formal Specifications of Reactive Systems

AU - Katara, M.

AU - Kurki-Suonio, R.

AU - Mikkonen, T.

N1 - Contribution: organisation=ohj,FACT1=1

PY - 2004

Y1 - 2004

M3 - Conference contribution

SP - 37

EP - 43

BT - FOAL 2004 Proceedings, Foundations of Aspect-Oriented Languages Workshop at AOSD 2004, Department of Computer Science, Iowa State University, Ames, Iowa, USA

A2 - Clifton, C.

A2 - Lämmel, R.

A2 - Leavens, G.T.

ER -