Sciweavers

930 search results - page 78 / 186
» Advanced Engineering Informatics
Sort
View
CSMR
2004
IEEE
14 years 19 days 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
EDUTAINMENT
2006
Springer
14 years 17 days 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
13 years 10 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
FM
2008
Springer
135views Formal Methods» more  FM 2008»
13 years 10 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
RIVF
2007
13 years 10 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