Sciweavers

674 search results - page 15 / 135
» The Impact of Service-Oriented Application Development on So...
Sort
View
FLAIRS
2000
13 years 9 months ago
Formal Software Development in the Verification Support Environment (VSE)
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
Dieter Hutter, Georg Rock, Jörg H. Siekmann, ...
VLSID
1999
IEEE
97views VLSI» more  VLSID 1999»
13 years 12 months ago
A New Methodology for Concurrent Technology Development and Cell Library Optimization
To minimize the time to market and cost of new sub 0.25um process technologies and products, PDF Solutions, Inc., has developed a new comprehensive approach based on the use of pr...
Marko P. Chew, Sharad Saxena, Thomas F. Cobourn, P...
SOFSEM
2009
Springer
14 years 5 days ago
Can Component/Service-Based Systems Be Proved Correct?
Component-oriented and service-oriented approaches have gained a strong enthusiasm in industries and academia with a particular interest for service-oriented approaches. The servic...
Christian Attiogbé
JIT
2004
Springer
166views Database» more  JIT 2004»
14 years 1 months ago
Feature-Oriented Development of Software Product Lines: Mapping Feature Models to the Architecture
Software product lines (PLs) present a solid approach in large scale reuse. Due to the PLs’ inherit complexity, many PL methods use the notion of ”features” to support requir...
Periklis Sochos, Ilka Philippow, Matthias Riebisch
ICSE
2003
IEEE-ACM
14 years 7 months ago
Pattern Oriented Software Development: Moving Seamlessly from Requirements to Architecture
Requirements Engineering (RE) deals with the early phases of software engineering namely requirement elicitation, modeling, specification and validation. Architecture of a softwar...
M. S. Rajasree, P. Jithendra Kumar Reddy, D. Janak...