7202 search results - page 996 / 1441 » Software System Engineering: A Tutorial |
173
click to vote
KBSE
2005
IEEE
16 years 13 days 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...
186
Voted
KBSE
2005
IEEE
16 years 13 days 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...
168
Voted
SEFM
2005
IEEE
16 years 13 days 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...
164
Voted
ADAEUROPE
2004
Springer
16 years 8 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...
158
Voted
LCTRTS
2004
Springer
16 years 7 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...