1988 search results - page 88 / 398 » Engineering formal metatheory |
CHI
2007
ACM
14 years 9 months ago
2007
ACM
Traditionally, software engineering processes are based on a formalist model that emphasizes strict documentation, procedural and validation standards. Although this is a poor fit...
SEKE
2005
Springer
14 years 2 months ago
2005
Springer
Software Engineering Environments (SEEs) are systems designed to support software development and maintenance, and also for supporting project control and management. They provide ...
SEMWEB
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The fast emergent areas of the Semantic Web and knowledge management push researchers to new efforts concerning ontology engineering. The development of ontologies must b...
CAISE
2000
Springer
14 years 1 months ago
2000
Springer
Process know-how is instrumental to govern engineering processes in a network of engineering departments as well as migrate changes of processes due to emerging technological or ot...
IEEEARES
2007
IEEE
14 years 3 months ago
2007
IEEE
We present a pattern system for security requirements engineering, consisting of security problem frames and concretized security problem frames. These are special kinds of proble...