4919 search results - page 7 / 984 » A Process-Ontological Model for Software Engineering |
COMPSAC
2011
IEEE
12 years 7 months ago
2011
IEEE
ISSRE
2010
IEEE
13 years 5 months ago
2010
IEEE
ISPW
2011
IEEE
12 years 11 months ago
2011
IEEE
Software process models are sophisticated and large specifications aimed at organizing and managing software development. Their formal specification demands an enormous effort,...
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...
ECSA
2010
Springer
13 years 6 months ago
2010
Springer
Presently, no methods exist that support the creation process of an industry taxonomy within a specific domain. Without such a method, taxonomies remain erroneous, making the deve...