5407 search results - page 392 / 1082 » The Software Engineering Global Model |
173
click to vote
SIGCSE
2006
ACM
16 years 24 days ago
2006
ACM
Undergraduate students who perform research benefit greatly from the experience, yet achieving high levels of voluntary participation remains an elusive goal. This paper describes...
171
click to vote
ICSE
2001
IEEE-ACM
15 years 11 months ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
173
click to vote
ADAEUROPE
2007
Springer
16 years 1 months ago
2007
Springer
When developing concurrent software, a proper engineering practice is to choose a good level of abstraction for expressing concurrency control. Ideally, this level should provide p...
184
Voted
WER
2000
Springer
15 years 10 months ago
2000
Springer
Recently, it has been pointed out that the majority of the requirements engineering methods do not take into account non-functional requirements (NFRs) [10][11]. Consequently, we h...
185
click to vote
LCTRTS
2009
Springer
16 years 1 months ago
2009
Springer
Most programming languages support a call stack in the programming model and also in the runtime system. We show that for applications targeting low-power embedded microcontroller...