7202 search results - page 996 / 1441 » Software System Engineering: A Tutorial |
186
click to vote
KBSE
2005
IEEE
16 years 1 months ago
2005
IEEE
Visual Languages (VLs) play an important role in software system development. Especially when looking at well-defined domains, a broad variety of domain specific visual language...
207
click to vote
KBSE
2005
IEEE
16 years 1 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
176
click to vote
SEFM
2005
IEEE
16 years 1 months ago
2005
IEEE
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
190
click to vote
ADAEUROPE
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...
180
click to vote
LCTRTS
2004
Springer
16 years 28 days ago
2004
Springer
Java Card technology simplifies the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...