1351 search results - page 126 / 271 » Towards a Spreadsheet Engineering |
142
click to vote
VSTTE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
160
click to vote
EMSOFT
2011
Springer
14 years 4 months ago
2011
Springer
As system integration becomes an increasingly important challenge for complex real-time systems, there has been a significant demand for supporting real-time systems in virtualiz...
156
click to vote
STEP
2005
IEEE
15 years 10 months ago
2005
IEEE
The decomposition of design patterns into simpler elements may reduce significantly the creation of variants in forward engineering, while it increases the possibility of identify...
144
click to vote
ITNG
2010
IEEE
15 years 8 months ago
2010
IEEE
There has been a recent push towards applying information technology principles, such as workflows, to bring greater efficiency to reservoir management tasks. These workflows are d...
107
click to vote
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
In UML2.0, significant efforts have been devoted towards a better definition of OCL. Still, the adoption of the language by the software engineers remains a significant challenge....