754 search results - page 134 / 151 » Requirements for Automotive System Engineering Tools |
ICSR
2004
Springer
14 years 2 months ago
2004
Springer
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. ...
IFM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
KCAP
2003
ACM
14 years 1 months ago
2003
ACM
OntoWeaver is our conceptual modelling methodology and a tool that support the specification and implementation of customized web applications. It relies on a number of different ...
AWIC
2003
Springer
14 years 1 months ago
2003
Springer
Design patterns have been enthusiastically embraced in the software engineering community as well as in the web community since they capture knowledge about how and when to apply a...
GIS
2009
ACM
14 years 1 months ago
2009
ACM
Harnessing the potential of today’s ever growing and dynamic geospatial data requires the development of novel visual analysis interfaces, tools and technologies. In this paper,...