1782 search results - page 80 / 357 » Tool Support for Proof Engineering |
166
click to vote
KBSE
2008
IEEE
15 years 12 months ago
2008
IEEE
Software engineering is a complex sociotechnical activity, due to the need for discussing and sharing knowledge among team members. This has raised the need for effective ways of ...
153
click to vote
ECLIPSE
2004
ACM
15 years 11 months ago
2004
ACM
Software engineering education is most often complemented by a software engineering project where a team of students has to develop a large software system. At a distance teaching...
138
click to vote
RE
1999
Springer
15 years 9 months ago
1999
Springer
Developing requirements for software components, and ensuring these requirements are met by component designs, is very challenging, as very often application domain and stakeholde...
123
click to vote
ISCC
2005
IEEE
15 years 11 months ago
2005
IEEE
It is expected that IPv6 multihomed sites will obtain as many global prefixes as direct providers they have, so Traffic Engineering techniques currently used in IPv4 multihomed si...
146
click to vote
ICSM
1994
IEEE
15 years 9 months ago
1994
IEEE
The user interface is an integral part of any application. This is especially true for reverse engineering environments, since the understanding process depends both on the user&#...