1782 search results - page 103 / 357 » Tool Support for Proof Engineering |
174
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The Visual Software Circuit Board (VSCB) platform supports a component based development methodology towards the development of software systems. The circuit board design techniqu...
157
click to vote
BALT
2006
15 years 10 months ago
2006
Abstract. Modern software engineering attacks its complexity problems by applying well-understood development principles. In particular, the systematic adoption of design patterns ...
165
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Introducing enterprise information systems (EIS) is usually associated with high costs. It is therefore crucial to understand those factors that determine or influence these costs....
161
click to vote
KIC
2000
15 years 7 months ago
2000
One of the major bottlenecks in conceptual engineering design is the pure amount of design information which the design engineer needs to take into consideration. Furthermore, the ...
175
click to vote
JSW
2008
15 years 6 months ago
2008
An application framework provides reusable design and implementation for a family of software systems. At the application engineering stage, application developers extend framework...