Integration of Specification Languages Using Viewpoints
2004 ◽
pp. 421-440
◽
Keyword(s):
Specifying with Interface and Trait Abstractions in Abstract State Machines: A Controlled Experiment
2021 ◽
Vol 30
(4)
◽
pp. 1-29
2015 ◽
Vol 15
(4-5)
◽
pp. 681-695
◽
Keyword(s):
1995 ◽
Vol 5
(2)
◽
pp. 153-188
◽
Keyword(s):
Keyword(s):