1782 search results - page 128 / 357 » Tool Support for Proof Engineering |
204
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Product Data Management (PDM) and Software Configuration Management (SCM) are the disciplines of building and controlling the evolution of a complex artifacts; either physical or ...
176
click to vote
ICSM
1999
IEEE
15 years 10 months ago
1999
IEEE
Software architecture visualization tools tend to support browsing, that is, exploration by following concepts. If architectural diagrams are to be used during daily software main...
160
click to vote
LSO
2001
Springer
15 years 10 months ago
2001
Springer
Skills, knowledge, and motivation of the software engineering workforce are essential prerequisites for maturing software development. But lack of human resources has become an obs...
163
click to vote
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
Defined software engineering process help teaching and guiding software engineering courses projects. However, using them raises several issues related to process and course featu...
163
click to vote
FM
1999
Springer
15 years 10 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...