4349 search results - page 394 / 870 » A Comprehensive Process Model for Studying Software Process ... |
123
Voted
LISP
2006
15 years 5 months ago
2006
In this paper we survey some well-known approaches proposed as general models for calculi dealing with names (like for example process calculi with name-passing). We focus on (pre)...
155
click to vote
WCE
2007
15 years 6 months ago
2007
— Software testing is a perennial problem, consequently it scores scant attention. An inclusion to testing challenges is aspect-oriented paradigm, which has a dichotomy of core a...
152
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
162
click to vote
WSKS
2009
Springer
15 years 9 months ago
2009
Springer
Model-Driven Development (MDD) has encouraged the use of automated software tools that facilitate the development process from modelling to coding. User Interfaces (UI), as a signi...
163
click to vote
CC
2003
Springer
15 years 10 months ago
2003
Springer
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can expl...