1601 search results - page 75 / 321 » The affordable application of formal methods to software eng... |
SEKE
2005
Springer
14 years 2 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,...
KI
2007
Springer
14 years 3 months ago
2007
Springer
Abstract The paper analyzes UML, the well known software engineering tool, from the knowledge engineering perspective. The goal of the paper is to evaluate UML as the possible desi...
KBSE
1997
IEEE
14 years 1 months ago
1997
IEEE
Legacy software systems present a high level of entropy combined with imprecise documentation. This makes their maintenance more difficult, more time consuming, and costlier. In o...
ANSOFT
2002
13 years 9 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
FMICS
2008
Springer
13 years 10 months ago
2008
Springer
There has been relatively little work on the implementability of timing requirements. We have previously provided definitions of fundamental timing operators that explicitly consid...