2419 search results - page 169 / 484 » A Formal Approach to Software Testing |
154
Voted
DEXAW
2008
IEEE
15 years 5 months ago
2008
IEEE
We have proposed in the past three separate methodologies for secure software development. We have found that they have many common and complementary aspects and we proposed a com...
123
Voted
SEKE
2005
Springer
15 years 9 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,...
143
Voted
VL
2005
IEEE
15 years 9 months ago
2005
IEEE
Agile methodologies employ light-weight development practices emphasizing a test-driven approach to the development of software systems. Modern agile development environments supp...
137
Voted
WWW
2003
ACM
16 years 4 months ago
2003
ACM
An important objective of the Semantic Web is to make Electronic Commerce interactions more flexible and automated. To achieve this, standardization of ontologies, message content...
108
Voted
WSR
2008
15 years 5 months ago
2008
: TGraphs are directed graphs with typed, attributed, and ordered nodes and edges. These properties leverage the use of graphs as models for all kinds of artifacts in the context o...