326 search results - page 18 / 66 » Tailoring and Verifying Software Process |
PKC
1998
Springer
14 years 20 days ago
1998
Springer
A basic function of all signatures, digital or not, is to express trust and authority, explicit or implied. This is especially the case with digital signatures used in certificates...
HICSS
2006
IEEE
14 years 2 months ago
2006
IEEE
Historically, software application systems have been produced either individually tailored for the specific customer, or they have been adapted from standardized packages. This pa...
FDL
2004
IEEE
14 years 6 days ago
2004
IEEE
Model-driven approaches proved themselves not suited yet to support real-time software development. Even if they have the ability of capturing adequately both functional and non-f...
FM
1998
Springer
14 years 21 days ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
PROFES
2001
Springer
14 years 27 days ago
2001
Springer
“We boldly go where no man has gone before”. We want to announce new products and services and use matching supporting information systems. All this more rapidly than before an...