1601 search results - page 71 / 321 » The affordable application of formal methods to software eng... |
ECOWS
2007
Springer
14 years 3 months ago
2007
Springer
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServicesOriented Archit...
ENTCS
2006
13 years 9 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
MKM
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We explore mathematical knowledge in the field of electrical engineering and claim that electrical engineering is a suitable area of application for mathematical knowled...
ICFCA
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. In the past years Software Engineering has experienced several difficulties in modularising crosscutting aspects, like shared, dynamic or scattered behavior of object-ori...
WCRE
2006
IEEE
14 years 3 months ago
2006
IEEE
In many areas of software engineering, empirical studies are playing an increasingly important role. This stems from the fact that software technologies are often based on heurist...