7380 search results - page 412 / 1476 » Engineering Software Intensive Systems |
105
click to vote
FMOODS
2006
15 years 5 months ago
2006
We present the modeling and validation experiments performed with the IFx validation toolset and with the UML profile developed within the IST Omega project, on a representative sp...
117
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
137
click to vote
ICSM
1999
IEEE
15 years 8 months ago
1999
IEEE
Software architecture is important for large systems in which it is the main means for, among other things, controlling complexity. Current ideas on software architectures were no...
157
click to vote
MOBICOM
2005
ACM
15 years 10 months ago
2005
ACM
People often seek information by asking other people even when they have access to vast reservoirs of information such as the Internet and libraries. This is because people are gr...
139
click to vote
ICSM
2009
IEEE
15 years 11 months ago
2009
IEEE
Many of the problems that occur in long-running systems involve the way that the system uses memory. We have developed a framework for extracting and building a model of the heap ...