5407 search results - page 406 / 1082 » The Software Engineering Global Model |
158
Voted
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
Formal specification languages are traditionally supported by theorem provers, but recently model checkers have proven to be useful tools. In this paper we present Eboc, an explic...
166
click to vote
AMOST
2005
ACM
16 years 13 days ago
2005
ACM
Despite the fact that EJB (Enterprise Java Beans) is a widely used technology, research in the area of performance modelling of EJB application servers is quite sparse. This paper...
178
Voted
WER
2004
Springer
16 years 6 days ago
2004
Springer
This paper presents the results of a feasability study that was carried out to evaluate the construction of Use Case Models by comparing the models with groups that used the GUCCRA...
217
Voted
FASE
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. The OMG’s Model-Driven Architecture focusses on the evolution and integration of applications across heterogeneous middleware platforms. Presently available instances o...
167
click to vote
IWSSD
2000
IEEE
15 years 11 months ago
2000
IEEE
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...