3792 search results - page 195 / 759 » Techniques for Trusted Software Engineering |
100
click to vote
SIGADA
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
127
click to vote
AOSD
2007
ACM
15 years 8 months ago
2007
ACM
Most approaches to programming language extensibility have worked by pairing syntactic extension with semantic extension. We present an approach that works through a combination o...
137
click to vote
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
Composing web services using current web service composition languages (such as BPEL) requires a large amount of in-depth knowledge. This paper introduces a service creation envir...
160
click to vote
FASE
2005
Springer
15 years 9 months ago
2005
Springer
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...
146
Voted
JTAER
2007
15 years 4 months ago
2007
Nowadays, organizational innovation constitutes the government challenges for providing better and more efficient services to citizens, enterprises or other public offices. E–go...