280 search results - page 53 / 56 » Using Eclipse in distant teaching of software engineering |
ICFEM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
109
click to vote
APSEC
2004
IEEE
15 years 1 months ago
2004
IEEE
Computer-supported cooperative work (CSCW) supports groups with communication and coordination during the execution of their activities. It allows physically dispersed teams to en...
IFIP
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Applying changes to software engineering processes in organisations usually raises many problems of varying nature. Basing on a real-world 2-year project and a simultaneo...
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
Financial companies, engineering firms and even scientists create increasingly larger spreadsheets and spreadsheet programs. The creators of large spreadsheets make errors and mus...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
Courseware systems are often based on an assembly of different components, addressing the different needs of storage and delivery functionality. The Learning Technology Standard A...