Sciweavers

1529 search results - page 27 / 306
» A Taxonomy of Software Component Models
Sort
View
SOFTWARE
1998
13 years 7 months ago
Focus on Components
A software component is typically modeled from one or more of four functional aspects: interface, static behavior, dynamic behavior, and interaction protocol. Each of these aspect...
ER
2009
Springer
130views Database» more  ER 2009»
14 years 2 months ago
Designing Law-Compliant Software Requirements
New laws, such as HIPAA and SOX, are increasingly impacting the design of software systems, as business organisations strive to comply. This paper studies the problem of generating...
Alberto Siena, John Mylopoulos, Anna Perini, Angel...
CODES
2003
IEEE
14 years 21 days ago
Transaction level modeling: an overview
Recently, the transaction-level modeling has been widely referred to in system-level design community. However, the transaction-level models(TLMs) are not well defined and the us...
Lukai Cai, Daniel Gajski
EUROMICRO
2007
IEEE
14 years 1 months ago
Partial Verification of Software Components: Heuristics for Environment Construction
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
Pavel Parizek, Frantisek Plasil
CAISE
2006
Springer
13 years 11 months ago
Aligning Business Processes and Software Connecting the UML 2 Profile for Event Driven Process Chains with Use Cases and Compone
The alignment between business processes and software is inadequately supported in conceptual modelling, although business processes are often the starting point for software devel...
Birgit Korherr, Beate List