Sciweavers

92 search results - page 8 / 19
» Integration and Analysis of Use Cases Using Modular Petri Ne...
Sort
View
RE
2010
Springer
13 years 2 months ago
From Requirements Documents to System Models: A Tool for Interactive Semi-Automatic Translation
Natural language is the main presentation means in industrial requirements documents. This leads to the fact that requirements documents are often incomplete and inconsistent. Desp...
Leonid Kof
SACMAT
2003
ACM
14 years 22 days ago
Cooperative role-based administration
In large organizations the administration of access privileges (such as the assignment of an access right to a user in a particular role) is handled cooperatively through distribu...
Horst Wedde, Mario Lischka
INFSOF
2006
160views more  INFSOF 2006»
13 years 7 months ago
B-SCP: A requirements analysis framework for validating strategic alignment of organizational IT based on strategy, context, and
Ensuring that organizational IT is in alignment with and provides support for an organization's business strategy is critical to business success. Despite this, business stra...
Steven J. Bleistein, Karl Cox, June M. Verner, Kei...
SFM
2009
Springer
143views Formal Methods» more  SFM 2009»
14 years 2 months ago
Service Interaction: Patterns, Formalization, and Analysis
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
Wil M. P. van der Aalst, Arjan J. Mooij, Christian...
SCAM
2008
IEEE
14 years 1 months ago
Some Assembly Required - Program Analysis of Embedded System Code
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...
Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seef...