6348 search results - page 12 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
RE
2010
Springer
14 years 6 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
15 years 6 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
15 years 6 months ago
2007
IEEE
108
click to vote
KBSE
2002
IEEE
15 years 4 months 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...