3239 search results - page 439 / 648 » A Logical Process Calculus |
123
Voted
DEBU
2000
15 years 3 months ago
2000
This paper discusses the structure and components of databases for real-world e-commerce systems. We first present an integrated 8-process value chain needed by the e-commerce sys...
140
Voted
TCS
2002
15 years 3 months ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
128
Voted
INFORMATICALT
2010
15 years 2 months ago
2010
One of the major activities in software design is defining software architecture. Before designing software structure and software behavior we have to define its architecture. In...
166
Voted
INLG
2010
Springer
15 years 1 months ago
2010
Springer
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times ...
146
Voted
SPLC
2010
15 years 1 months ago
2010
Abstract. Feature modeling is a technique for capturing commonality and variability. Feature models symbolize a representation of the possible application configuration space, and ...