1031 search results - page 117 / 207 » On the Formal Development of Safety-Critical Software |
89
Voted
SEKE
2005
Springer
15 years 6 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
100
click to vote
ENTCS
2006
15 years 23 days ago
2006
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verifi...
125
Voted
SAC
2009
ACM
15 years 5 months ago
2009
ACM
This paper presents a novel software engineering approach for developing a dynamic web interface that meets the quality criterion of “WYDIWYS” - What You Do Is What You See. T...
124
Voted
EICS
2010
ACM
15 years 29 days ago
2010
ACM
Component-based software engineering is a paradigm aiming at better ways to reuse existing code and to distribute work across teams. Integrating UI components developed with diffe...
120
click to vote
FMCAD
2007
Springer
15 years 4 months ago
2007
Springer
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...