846 search results - page 59 / 170 » Separating Designs from Implementations: Role-Based Software... |
138
click to vote
HICSS
2010
IEEE
15 years 1 days ago
2010
IEEE
Abstract: Software product line engineering is an established methodology for fast and effective development of software-intensive systems and services. To reap maximum benefits fr...
134
click to vote
TPHOL
1998
IEEE
15 years 5 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
122
click to vote
IEEESCC
2006
IEEE
15 years 7 months ago
2006
IEEE
Service Oriented Architecture (SOA) is an architectural style to reuse and integrate subsystems in existing systems for designing new applications. Each application is designed in...
IWPC
2007
IEEE
15 years 7 months ago
2007
IEEE
A workflow is a computerized specification of a business process. A workflow describes how tasks are executed and ordered following business policies. E-commerce systems implement...
128
click to vote
ESWS
2008
Springer
15 years 3 months ago
2008
Springer
Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focu...