1782 search results - page 46 / 357 » Tool Support for Proof Engineering |
146
click to vote
CISIS
2010
IEEE
16 years 8 days ago
2010
IEEE
— The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production aut...
159
click to vote
WSC
1996
15 years 6 months ago
1996
of abstraction, or modeling, is a major element in Enterprise Engineering. Enterprise engineering deals with the analysis, design, implementation and operation of an enterprise. T...
173
click to vote
ICSE
2009
IEEE-ACM
16 years 5 days ago
2009
IEEE-ACM
Though there is a multitude of software modeling tools available, the handling of diagrams, which are an essential way of representation, is still difficult. To overcome these pr...
140
Voted
IWPC
2006
IEEE
15 years 11 months ago
2006
IEEE
Program comprehension tools are a valuable resource for navigating and understanding large software systems. Package explorers, fan-in / fan-out views, dependency graphs and cover...
152
click to vote
SIGSOFT
2003
ACM
16 years 6 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...