Sciweavers

5101 search results - page 183 / 1021
» Capturing Context Requirements
Sort
View
ER
2005
Springer
135views Database» more  ER 2005»
14 years 1 months ago
A UML 2 Profile for Business Process Modelling
Abstract. Current UML Profiles for Business Process Modelling realise a narrow focus of the process, and capture the process flow on a low level of detail. They do not provide a co...
Beate List, Birgit Korherr
DATE
2002
IEEE
126views Hardware» more  DATE 2002»
14 years 1 months ago
Automated Modeling of Custom Digital Circuits for Test
Models meant for logic verification and simulation are often used for ATPG. For custom digital circuits, these models contain many tristate devices, which leads to lower fault co...
Soumitra Bose
TSD
1999
Springer
14 years 13 days ago
The Prague Dependency Treebank: Crossing the Sentence Boundary
The units processed by tagging procedures - both automatic and manual - are sentences as occurring in the texts in the corpus, but the human annotators are instructed to assign ...
Eva Hajicová
OOPSLA
1998
Springer
14 years 12 days ago
Data Groups: Specifying the Modification of Extended State
This paper explores the interpretation of specifications in the context of an object-oriented programming language with subclassing and method overrides. In particular, the paper ...
K. Rustan M. Leino
CAISE
2006
Springer
13 years 12 months ago
Separation and Modularization of Crosscutting Social Patterns in Detailed Architectural Design
This paper outlines an aspect-oriented approach to support separation and modularization of crosscutting concerns in multi-agent systems. Aspects as abstractions to capture social ...
Carla T. L. L. Silva, Jaelson Brelaz de Castro, Jo...