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-430252024-11-09T04:32:27Z Generating MSCs from an integrated formal specification language Dong, J.S. Qin, S. Sun, J. SINGAPORE-MIT ALLIANCE COMPUTER SCIENCE 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 |
continent |
Asia |
country |
Singapore Singapore |
content_provider |
NUS Library |
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 |
SINGAPORE-MIT ALLIANCE |
author_facet |
SINGAPORE-MIT ALLIANCE 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_ |
1821227225702203392 |