Joint Structural and Temporal Property Specification using Timed Story Sequence Diagrams (bibtex)
Reference:
, "Joint Structural and Temporal Property Specification using Timed Story Sequence Diagrams", in Matt Dwyer, Antónia Lopes, Eds., 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, vol. 4422 of Lecture Notes in Computer Science (LNCS), pp. 185–199, Springer Verlag, March 2007.
Links:
@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&Giese2007_54083af20cf2bba34c252544.pdf},
OPTacc_pdf = {},
ANNOTE = {LANGUAGE : english}
}
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Powered by bibtexbrowser