Joint Structural and Temporal Property Specification using Timed Story Sequence Diagrams

Klein, Florian; Giese, Holger

by Florian Klein, Holger Giese

Reference:

Joint Structural and Temporal Property Specification using Timed Story Sequence Diagrams (Florian Klein, Holger Giese), In Proc. of 10th International Conference on Fundamental Approaches to Software Engineering (FASE) 2007, held as part of ETAPS 2007, Lisboa, Portugal, March 24-April 1, 2007 (Matt Dwyer, Antónia Lopes, eds.), Springer Verlag, volume 4422, 2007.

Bibtex Entry:

@InProceedings{Klein&Giese2007,
AUTHOR = {Klein, Florian and Giese, Holger},
TITLE = {{Joint Structural and Temporal Property Specification using Timed Story Sequence Diagrams}},
YEAR = {2007},
MONTH = {March},
BOOKTITLE = {Proc. of 10th International Conference on Fundamental Approaches to Software Engineering (FASE) 2007, held as part of ETAPS 2007, Lisboa, Portugal, March 24-April 1, 2007},
VOLUME = {4422},
PAGES = {185--199},
EDITOR = {Dwyer, Matt and Lopes, Antónia},
SERIES = {Lecture Notes in Computer Science (LNCS)},
PUBLISHER = {Springer Verlag},
URL = {http://www.springerlink.com/content/y20t111374424qj1/fulltext.pdf},
OPTacc_url = {},
PDF = {uploads/pdf/Klein&amp;Giese2007_54083af20cf2bba34c252544.pdf},
OPTacc_pdf = {},
ANNOTE = {LANGUAGE : english}
}