Generating MSCs from an integrated formal specification language
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Saved in:
Main Authors: | , , |
---|---|
Other Authors: | |
Format: | Article |
Published: |
2013
|
Subjects: | |
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/43025 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
id |
sg-nus-scholar.10635-43025 |
---|---|
record_format |
dspace |
spelling |
sg-nus-scholar.10635-430252015-01-23T19:28:58Z Generating MSCs from an integrated formal specification language Dong, J.S. Qin, S. Sun, J. COMPUTER SCIENCE SINGAPORE-MIT ALLIANCE MSC Requirement Engineering TCOZ Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2999 168-186 2013-07-23T09:22:56Z 2013-07-23T09:22:56Z 2004 Article Dong, J.S.,Qin, S.,Sun, J. (2004). Generating MSCs from an integrated formal specification language. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2999 : 168-186. ScholarBank@NUS Repository. 03029743 http://scholarbank.nus.edu.sg/handle/10635/43025 NOT_IN_WOS Scopus |
institution |
National University of Singapore |
building |
NUS Library |
country |
Singapore |
collection |
ScholarBank@NUS |
topic |
MSC Requirement Engineering TCOZ |
spellingShingle |
MSC Requirement Engineering TCOZ Dong, J.S. Qin, S. Sun, J. Generating MSCs from an integrated formal specification language |
description |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
author2 |
COMPUTER SCIENCE |
author_facet |
COMPUTER SCIENCE Dong, J.S. Qin, S. Sun, J. |
format |
Article |
author |
Dong, J.S. Qin, S. Sun, J. |
author_sort |
Dong, J.S. |
title |
Generating MSCs from an integrated formal specification language |
title_short |
Generating MSCs from an integrated formal specification language |
title_full |
Generating MSCs from an integrated formal specification language |
title_fullStr |
Generating MSCs from an integrated formal specification language |
title_full_unstemmed |
Generating MSCs from an integrated formal specification language |
title_sort |
generating mscs from an integrated formal specification language |
publishDate |
2013 |
url |
http://scholarbank.nus.edu.sg/handle/10635/43025 |
_version_ |
1681082709449900032 |