1631 search results - page 232 / 327 » Software engineering technology watch |
161
click to vote
PASTE
2005
ACM
15 years 9 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
141
click to vote
ISSTA
2000
ACM
15 years 8 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
140
click to vote
EWSPT
1995
Springer
15 years 7 months ago
1995
Springer
The paper describes the different phases and subdomains of process modelling and their needs for conceptual and linguistic support, and in what forms. We group the relevant factor...
151
Voted
BTW
2005
Springer
15 years 6 months ago
2005
Springer
: Ideas from terminology management, the science of terms and definitions, can be used to improve the quality of software and data models, as well as to facilitate the achievement ...
139
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
The World Wide Web is emerging not only as an infrastructure for data, but also for a broader variety of resources that are increasingly being made available as Web services. Rele...