4919 search results - page 460 / 984 » A Process-Ontological Model for Software Engineering |
227
click to vote
WOSP
2005
ACM
16 years 1 months ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
171
click to vote
IASTEDSEA
2004
15 years 9 months ago
2004
Software engineering is hampered by the fact that software systems quickly become so complex that they are hard to understand, evolve and maintain. Closer integration of code and ...
221
click to vote
EMSOFT
2006
Springer
15 years 11 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
204
click to vote
ICSM
2008
IEEE
16 years 2 months ago
2008
IEEE
A principal goal of agent-oriented software engineering (AOSE) is to provide the mechanisms for reusing, maintaining and allowing the evolution of agent-based software systems. Ou...
196
click to vote
ICSE
2010
IEEE-ACM
16 years 15 days ago
2010
IEEE-ACM
Each day, a software developer needs to answer a variety of questions that require the integration of different kinds of project information. Currently, answering these questions...