4919 search results - page 286 / 984 » A Process-Ontological Model for Software Engineering |
136
click to vote
VMCAI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper explores a way to apply model checking techniques to parallel programs that use the nonblocking primitives of the Message Passing Interface (MPI). The method h...
129
click to vote
SIGSOFT
2004
ACM
15 years 10 months ago
2004
ACM
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...
115
click to vote
WOSP
2000
ACM
15 years 9 months ago
2000
ACM
In this paper, we illustrate a model-based approach to Web server performance evaluation, and present an analytic queueing model of Web servers in distributed environments. Perfor...
127
click to vote
FATES
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
127
click to vote
IESA
2007
15 years 6 months ago
2007
The application of model-driven development facilitates faster and more flexible integration by separating system descriptions to different levels of abstraction. In crossorganisat...