1908 search results - page 274 / 382 » How to teach software modeling |
128
click to vote
SIGUCCS
2006
ACM
15 years 10 months ago
2006
ACM
In recent years, the use of a computer has become a requirement for success in a collegiate environment, and the demand for mobile computing has sharply increased. In response to ...
151
click to vote
ASM
2010
ASM
15 years 7 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
140
click to vote
USENIX
2000
15 years 5 months ago
2000
Language-basedextensible systems, such as Java Virtual Machines and SPIN, use type safety to provide memory safety in a single address space. By using software to provide safety, ...
159
click to vote
BIS
2010
14 years 11 months ago
2010
Nowadays the software systems, including web portals, are developed from a priori assumptions about how the system will be used. However, frequently these assumptions hold only par...
179
click to vote
APCSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Although they have been the main server technology for many years, multiprocessors are undergoing a renaissance due to multi-core chips and the attractive scalability properties of...