Sciweavers

442 search results - page 15 / 89
» A Model for Capturing and Managing Software Engineering Know...
Sort
View
TPHOL
1998
IEEE
14 years 1 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
IDEAL
2005
Springer
14 years 2 months ago
Patterns in Complex Systems Modeling
The design, development, and use of complex systems models raises a unique class of challenges and potential pitfalls, many of which are commonly recurring problems. Over time, res...
Janet Wiles, James Watson
DKE
1998
149views more  DKE 1998»
13 years 8 months ago
Knowledge Engineering: Principles and Methods
This paper gives an overview about the development of the field of Knowledge Engineering over the last 15 years. We discuss the paradigm shift from a transfer view to a modeling v...
Rudi Studer, V. Richard Benjamins, Dieter Fensel
IJSEKE
2000
90views more  IJSEKE 2000»
13 years 8 months ago
Planning Support to Software Process Evolution
The ability to handle changes is a characteristic feature of successful software projects. The problem addressed in this paper is what should be done in project planning and itera...
Reidar Conradi, Minh Ngoc Nguyen, Alf Inge Wang, C...
INFSOF
2008
98views more  INFSOF 2008»
13 years 8 months ago
Engineering contextual knowledge for autonomic pervasive services
Services for mobile and pervasive computing should extensively exploit contextual information both to adapt to user needs and to enable autonomic behavior. This raises the problem...
Gabriella Castelli, Marco Mamei, Franco Zambonelli