5407 search results - page 264 / 1082 » The Software Engineering Global Model |
155
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a systematic method of analysing the scalability of large-scale systems. We construct a high-level model using the SRMC process calculus and generate variants ...
194
click to vote
AMAST
2000
Springer
15 years 10 months ago
2000
Springer
Modelling multi-tasking behaviour is an important phase of real-time system design. It is shown how task scheduling principles can be captured in a CCS-based process algebra via ex...
150
click to vote
ISOTAS
1993
15 years 10 months ago
1993
We examine the problem of how to ensure behavioral consistency of an object-oriented system after its schema has been updated. The problem is viewed from the perspective of both t...
224
click to vote
APAL
2011
15 years 1 months ago
2011
We describe strongly minimal theories Tn with finite languages such that in the chain of countable models of Tn, only the first n models have recursive presentations. Also, we d...
169
click to vote
MSR
2009
ACM
16 years 23 days ago
2009
ACM
Previous studies have shown that software code attributes, such as lines of source code, and history information, such as the number of code changes and the number of faults in pr...