Generating MSCs from an integrated formal specification language

Hdl Handle:
http://hdl.handle.net/10149/110774
Title:
Generating MSCs from an integrated formal specification language
Book Title:
Integrated formal methods
Authors:
Dong, J. S. (Jin Song); Qin, S. (Shengchao); Sun, J. (Jun)
Editors:
Boiten, E. A. (Eerke); Derrick, J. (John); Smith, G. (Graeme)
Affiliation:
National University of Singapore. School of Computing.
Citation:
Dong, J. S., Qin, S. and Sun, J. (2004) 'Generating MSCs from an integrated formal specification language', 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004, in Boiten, E. A., Derrick, J. and Smith, G. (eds) Integrated formal methods, Lecture notes in computer science, 2999. Heidelberg: Springer-Verlag, pp.168-186.
Publisher:
Springer-Verlag
Conference:
4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004
Issue Date:
2004
URI:
http://hdl.handle.net/10149/110774
DOI:
10.1007/978-3-540-24756-2_10
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
MSC; requirement engineering; TCOZ
Series/Report no.:
Lecture notes in computer science; 2999
ISSN:
0302-9743
Rights:
Author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 07/09/2010]
Citation Count:
0 [Scopus, 07/09/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorDong, J. S. (Jin Song)en
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.authorSun, J. (Jun)en
dc.contributor.editorBoiten, E. A. (Eerke)en
dc.contributor.editorDerrick, J. (John)en
dc.contributor.editorSmith, G. (Graeme)en
dc.date.accessioned2010-09-07T08:30:57Z-
dc.date.available2010-09-07T08:30:57Z-
dc.date.issued2004-
dc.identifier.issn0302-9743-
dc.identifier.doi10.1007/978-3-540-24756-2_10-
dc.identifier.urihttp://hdl.handle.net/10149/110774-
dc.language.isoenen
dc.publisherSpringer-Verlagen
dc.relation.ispartofseriesLecture notes in computer scienceen
dc.relation.ispartofseries2999en
dc.rightsAuthor can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 07/09/2010]en
dc.subjectMSCen
dc.subjectrequirement engineeringen
dc.subjectTCOZen
dc.titleGenerating MSCs from an integrated formal specification languageen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentNational University of Singapore. School of Computing.en
dc.title.bookIntegrated formal methodsen
dc.identifier.conference4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004en
ref.citationcount0 [Scopus, 07/09/2010]en
or.citation.harvardDong, J. S., Qin, S. and Sun, J. (2004) 'Generating MSCs from an integrated formal specification language', 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004, in Boiten, E. A., Derrick, J. and Smith, G. (eds) Integrated formal methods, Lecture notes in computer science, 2999. Heidelberg: Springer-Verlag, pp.168-186.-
prism.startingPage168-
prism.endingPage186-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.