6348 search results - page 12 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
RE
2010
Springer
13 years 2 months ago
2010
Springer
Domain modeling is an important aspect of software engineering. This paper presents our experience of modeling land transportation domain in the formal framework of Event-B. The do...
CAISE
2009
Springer
14 years 2 months ago
2009
Springer
In CAiSE 2006, we had presented a framework to support development of secure information systems. The framework was based on the integration of two security-aware approaches, the S...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
KBSE
2002
IEEE
14 years 17 days ago
2002
IEEE
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...