6079 search results - page 378 / 1216 » Aspect-Oriented Process Engineering |
189
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
165
click to vote
ICSM
2008
IEEE
16 years 1 months ago
2008
IEEE
We have proposed the notion of software tag, which is a complex of various characteristic elements of software development project. Empirical data for the is collected and abstrac...
150
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
AJAX is a web application programming technique that allows portions of a web page to be loaded dynamically, separate from other parts of the web page. This gives the user a much ...
180
Voted
COMPSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of t...
196
click to vote
COMPSAC
2006
IEEE
16 years 24 days ago
2006
IEEE
The Sage development method and associated tool set support an incremental, iterative, model-driven process to build and maintain high assurance, reactive multi-agent systems. A s...