Sciweavers

126 search results - page 4 / 26
» Assuring quality of web-based applications
Sort
View
GI
2005
Springer
15 years 3 months ago
Automated Quality Assurance for UML Models
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
Tilman Seifert, Florian Jug, Günther Rackl
EH
2002
IEEE
108views Hardware» more  EH 2002»
15 years 2 months ago
We Need Assurance
When will we be secure? Nobody knows for sure – but it cannot happen before commercial security products and services possess not only enough functionality to satisfy customersâ...
Brian D. Snow
ISICT
2003
14 years 11 months ago
Digital document life cycle development
Project MEMORIAL [3] is aimed at developing a new technology for creating Web based information systems using interactive electronic documents extracted from their paper originals...
Henryk Krawczyk, Bogdan Wiszniewski
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
15 years 2 months ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler
IEEECIT
2010
IEEE
14 years 8 months ago
Study on the Industry Oriented Education for Computing of Ireland and Its Application
—This paper analyzes the mechanism of Industry Oriented Education of Ireland, especially in DIT and extracts useful experience to the education process of pilot software schools ...
Wu Tao, Chen Ya-ping, Ning Feng, Gu Xi-Qian