4919 search results - page 252 / 984 » A Process-Ontological Model for Software Engineering |
125
click to vote
AVI
2010
15 years 5 months ago
2010
This paper reports on an empirical study designed as a follow-up of a theoretical model intended to support reasoning about the composition of smart artifacts by end-users. We hav...
134
click to vote
COMPSAC
2008
IEEE
15 years 4 months ago
2008
IEEE
Model-driven engineering proposes to develop software systems by first creating an executable model of the system design and then transforming this model into an implementation. T...
141
click to vote
MOMPES
2008
IEEE
15 years 10 months ago
2008
IEEE
Model-driven engineering (MDE) addresses platform complexity issues by abstracting platformindependent models for subsequent transformation to platform-specific models. This faci...
126
click to vote
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
This paper presents Kato, a tool that implements a novel class of optimizations that are inspired by program slicing for imperative languages but are applicable to analyzable decl...
115
click to vote
PEPM
2009
ACM
16 years 1 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...