Sciweavers

930 search results - page 78 / 186
» Advanced Engineering Informatics
Sort
View
118
Voted
CSMR
2004
IEEE
15 years 4 months ago
Documenting Maintenance Tasks Using Maintenance Patterns
A common problem in software maintenance is the lack of documentation required for carrying out the maintenance tasks. Both expected and unexpected maintenance tasks use and produ...
Imed Hammouda, Maarit Harsu
96
Voted
EDUTAINMENT
2006
Springer
15 years 4 months ago
Mental Vision: A Computer Graphics Teaching Platform
Abstract. We have developed a learning platform to simplify and improve teaching and practice of Computer Graphics for beginners and advanced students. Our goal is to offer a set o...
Achille Peternier, Daniel Thalmann, Fréd&ea...
COMPSAC
2008
IEEE
15 years 2 months ago
Specifying Behavioural Features of Design Patterns in First Order Logic
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
Ian Bayley, Hong Zhu
94
Voted
FM
2008
Springer
135views Formal Methods» more  FM 2008»
15 years 2 months ago
Secret Ninja Formal Methods
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
Joseph R. Kiniry, Daniel M. Zimmerman
101
Voted
RIVF
2007
15 years 2 months ago
On the Role and Application of Ontologies in Information Systems
— Semantic Web research and recent efforts of large software companies have lead to mature technologies that can enable real-life semantic applications. While benefits such as a...
Thanh Tran, Holger Lewen, Peter Haase