1164 search results - page 29 / 233 » Using CBR for Semantic Analysis of Software Specifications |
AOSE
2001
Springer
14 years 7 days ago
2001
Springer
This paper presents the MESSAGE/UML agent oriented software engineering methodology and illustrates it on an analysis case study. The methodology covers MAS analysis and design an...
FUIN
2006
13 years 7 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
HIPEAC
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. On multi-core architectures with software-managed memories, effectively orchestrating data movement is essential to performance, but is tedious and error-prone. In this p...
ICST
2009
IEEE
13 years 5 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
SERA
2004
Springer
14 years 1 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...