4919 search results - page 360 / 984 » A Process-Ontological Model for Software Engineering |
130
click to vote
SEKE
2005
Springer
15 years 10 months ago
2005
Springer
Mobile agents provide an effective and flexible style to develop advanced distributed systems. In order to promote interoperability and ensure the quality of mobile agent systems,...
123
Voted
SCAM
2008
IEEE
15 years 11 months ago
2008
IEEE
An appropriate translation of the data model is central to any language migration effort. Finding a mapping between original and target data models may be challenging for legacy l...
131
click to vote
COMPSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
155
click to vote
CODES
2006
IEEE
15 years 7 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
150
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...