Author image not provided
 Greg Brunet

Add personal information
  Affiliation history
Bibliometrics: publication history
Average citations per article22.60
Citation Count113
Publication count5
Publication years2006-2012
Available for download3
Average downloads per article554.67
Downloads (cumulative)1,664
Downloads (12 Months)54
Downloads (6 Weeks)8
Arrow RightAuthor only

See all colleagues of this author

See all subject areas


5 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 5 of 5
Sort by:

1 published by ACM
March 2012 ACM Transactions on Software Engineering and Methodology (TOSEM): Volume 21 Issue 2, March 2012
Publisher: ACM
Citation Count: 10
Downloads (6 Weeks): 2,   Downloads (12 Months): 21,   Downloads (Overall): 436

Full text available: PDFPDF
Constructing comprehensive operational models of intended system behavior is a complex and costly task, which can be mitigated by the construction of partial behavior models, providing early feedback and subsequently elaborating them iteratively. However, how should partial behavior models with different viewpoints covering different aspects of behavior be composed? How ...
Keywords: partial behavior models, merge, MTS

May 2009 IEEE Transactions on Software Engineering: Volume 35 Issue 3, May 2009
Publisher: IEEE Press
Citation Count: 28

Synthesis of behavior models from software development artifacts such as scenario-based descriptions or requirements specifications helps reduce the effort of model construction. However, the models favored by existing synthesis approaches are not sufficiently expressive to describe both universal constraints provided by requirements and existential statements provided by scenarios. In this ...
Keywords: Modal transition systems, merge, synthesis, partial behavior models., merge, partial behavior models., synthesis, Modal transition systems

May 2007 ICSE '07: Proceedings of the 29th international conference on Software Engineering
Publisher: IEEE Computer Society
Citation Count: 25
Downloads (6 Weeks): 1,   Downloads (12 Months): 13,   Downloads (Overall): 556

Full text available: PDFPDF
Synthesis of behaviour models from software development artifacts such as scenario-based descriptions or requirements specifications not only helps significantly reduce the effort of model construction, but also provides a bridge between approaches geared toward requirements analysis and those geared towards reasoning about system design at the architectural level. However, the ...

August 2006 FM'06: Proceedings of the 14th international conference on Formal Methods
Publisher: Springer-Verlag
Citation Count: 8

Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour decription such as scenario-based specifications, and focus on elaborating these descriptions iteratively. In previous work, we show how this process can be formally supported by Modal Transition Systems ...

5 published by ACM
May 2006 GaMMa '06: Proceedings of the 2006 international workshop on Global integrated model management
Publisher: ACM
Citation Count: 42
Downloads (6 Weeks): 5,   Downloads (12 Months): 20,   Downloads (Overall): 672

Full text available: PDFPDF
If a modeling task is distributed, it will frequently be necessary to merge models developed by different team members. Existing approaches to model merging make assumptions about the types of model to be merged, and the nature of the relationship between them. This makes it hard to compare approaches. In ...
Keywords: distributed development, model management, nconsistency

The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us