15155 search results - page 245 / 3031 » System Software |
155
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
Thispaper presents a goal based modeling methodfor agent-oriented software system. In modeling research for agent-oriented software, problems often emerged in that the properties ...
176
click to vote
DEBS
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we describe design motivations and experience with a visual language that treats the architecture of a reactive system as a composition of small, asynchronous softw...
201
click to vote
JITECH
2007
15 years 6 months ago
2007
This case study discusses two related aspects that are becoming increasingly important in today’s software development practice: re-engineering of a monolithic system into a com...
182
click to vote
EUROMICRO
2007
IEEE
15 years 10 months ago
2007
IEEE
In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...
181
click to vote
IWPSE
2007
IEEE
16 years 25 days ago
2007
IEEE
Software evolution plays a key role in the overall lifecycle of a software system. In this phase, software developers extend the capabilities and functionality of the system to me...