585 search results - page 29 / 117 » Structured Formal Development in Isabelle |
120
click to vote
EGOV
2008
Springer
15 years 1 months ago
2008
Springer
During the last decades eGovernment has been a vivid, dynamic research and development area. As services are being transformed, electronic documents and web services appear every d...
ESWS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Creating a coherent set of ontologies to support a collaborative design process amongst different firms which develop mechatronic products is a challenge due to the seman...
ICIS
2003
15 years 1 months ago
2003
ThelinkagesbetweenISandbusinessunitsarerecognizedasbeingcriticaltoinformationsystemsdevelopment processes and outcomes. Previous research has found that they are associated with b...
102
Voted
CLEIEJ
2002
14 years 11 months ago
2002
Function Point Analysis (FPA) is among the most commonly used techniques to estimate the size of software system projects or software systems. During the point counting process th...
MODELS
2007
Springer
15 years 5 months ago
2007
Springer
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, have become standard practice in the design of reactive embedded devices. Statecharts are often mor...