3801 search results - page 537 / 761 » An Approach to Modeling Software Safety |
194
click to vote
SEKE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
198
click to vote
UML
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...
166
click to vote
EDBTW
2010
Springer
15 years 11 months ago
2010
Springer
In recent years, Software-as-a-Service (SaaS) is gaining momentum with more and more successful adoptions. Several companies including some well known names have embraced this new...
156
click to vote
TIC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We present the design and implementation of the first complete framework for flexible and safe dynamic linking of native code. Our approach extends Typed Assembly Languag...
162
click to vote
IJWIS
2006
15 years 6 months ago
2006
Abstract. In this paper we present a model-based approach for the development of physical hypermedia applications, i.e. those mobile (Web) applications in which physical and digita...