504 search results - page 12 / 101 » Modular System Development with Pullbacks |
ICSE
2004
IEEE-ACM
15 years 11 months ago
2004
IEEE-ACM
Building a configuration management (CM) system is a difficult endeavor that regularly requires tens of thousands of lines of code to be written. To reduce this effort, several ex...
RTA
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention in the scientific community during the last decades and many differe...
105
click to vote
JUCS
2006
14 years 11 months ago
2006
: In recent times, interest in Ambient Intelligence (or AmI) has increased considerably. One of the main challenges in the development of these systems is to improve their modulari...
118
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...
121
click to vote
IAT
2010
IEEE
14 years 9 months ago
2010
IEEE
ASEME is an emerging Agent Oriented Software Engineering (AOSE) methodology. The Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the transition of...