3828 search results - page 182 / 766 » Proof-Based System Engineering Using a Virtual System Model |
168
click to vote
COMPSAC
2010
IEEE
15 years 1 months ago
2010
IEEE
With the rapid development of model-driven engineering (MDE), domain-specific modeling has become a widely used software development technique. In MDE, metamodels represent a schem...
169
click to vote
NAR
2006
15 years 6 months ago
2006
An assessment of the equilibrium dynamics of biomolecular systems, and in particular their most cooperativefluctuationsaccessibleundernativestate conditions, is a first step towar...
173
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
175
click to vote
USENIX
2000
15 years 7 months ago
2000
Language-basedextensible systems, such as Java Virtual Machines and SPIN, use type safety to provide memory safety in a single address space. By using software to provide safety, ...
180
Voted
EUROMICRO
2007
IEEE
16 years 22 days ago
2007
IEEE
Regression testing can be systematically applied at the software architecture level in order to reduce the cost of retesting modified systems, and also to assess the regression t...