Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
859
The SLAM project: debugging system software via static analysis
- SIGPLAN Not
"... Abstract. The goal of the SLAM project is to check whether or not a program obeys "API usage rules " that specif[y what it means to be a good client of an API. The SLAM toolkit statically analyzes a C program to determine whether or not it violates given usage rules. The toolkit has two un ..."
Abstract
-
Cited by 472 (17 self)
- Add to MetaCart
unique aspects: it does not require the programmer to annotate the source program (invariants are inferred); it minimizes noise (false error messages) through a process known as "counterexample-driven refinement". SLAM exploits and extends results fi'om program analysis, model checking
A tool for checking ANSI-C programs
- In Tools and Algorithms for the Construction and Analysis of Systems
, 2004
"... Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C language features, including pointer constructs, dynamic memory allocation, recursion, and the float and double data types. ..."
Abstract
-
Cited by 326 (35 self)
- Add to MetaCart
. From the perspective of the user, the verification is highly automated: the only input required is the BMC bound. The tool is integrated into a graphical user interface. This is essential for presenting long counterexample traces: the tool allows stepping through the trace in the same way a debugger
A Logical Design Methodology for Relational Databases Using the Extended Entity-Relationship Model
- ACM Computing Surveys
, 1986
"... A database design methodology is defined for the design of large relational databases. First, the data requirements are conceptualized using an extended entity-relationship model, with the extensions being additional semantics such as ternary relationships, optional relationships, and the generaliza ..."
Abstract
-
Cited by 177 (2 self)
- Add to MetaCart
, and the generalization abstraction. The extended entity-relationship model is then decomposed according to a set of basic entity-relationship constructs, and these are transformed into candidate relations. A set of basic transformations has been developed for the three types of relations: entity relations, extended
Self-determination and persistence in a real-life setting: Toward a motivational model of high school dropout.
- Journal of Personality and Social Psychology,
, 1997
"... The purpose of this study was to propose and test a motivational model of high school dropout. The model posits that teachers, parents, and the school administration's behaviors toward students influence students' perceptions of competence and autonomy. The less autonomy supportive the so ..."
Abstract
-
Cited by 183 (19 self)
- Add to MetaCart
< 1, except for the parental measure, p = .03). The means and standard deviations of the social agents' autonomy support scales as a function of type of student and gender also appear in The Motivational Model of High School Dropout We tested the proposed model (see The latent constructs
Automated Support for Software Process Reuse: Requirements and Early Experiences with the APSEE model
- IN PROCEEDINGS OF THE 7 TH INTERNATIONAL WORKSHOP ON GROUPWARE (CRIGW-01) DARMSTADT (GERMANY) SEPTEMBER-2001
, 2001
"... This paper discusses the need to provide better support for software processes reuse in PSEEs (process-centered software engineering environments). This discussion is influenced by the recent work on process reuse field presented by the literature and the experience of authors in the definition of a ..."
Abstract
-
Cited by 3 (1 self)
- Add to MetaCart
. The basic set of data types used in the definition of the meta-model is presented. The paper concludes by presenting the proposed functionality for retrieve and adaptation of reusable process descriptions to a specific context.
Supporting scenario-based Requirements Engineering
"... Scenarios have been advocated as a means of improving requirements engineering yet few methods or tools exist to support scenario based RE. The paper reports a method and software assistant tool for scenario-based RE that integrates with use case approaches to object oriented development. The method ..."
Abstract
-
Cited by 134 (17 self)
- Add to MetaCart
. The method and operation of the tool are illustrated with a financial system case study. Scenarios are used to represent paths of possible behaviour through a use case and these are investigated to elaborate requirements. The method commences by acquisition and modelling of a use case. The use case
ECEASST Reusing Model Transformations across Heterogeneous Metamodels
"... Abstract: Model transformations are key enablers for multi-paradigm modeling. However, currently there is little support for reusing transformations in different contexts since they are tightly coupled to the metamodels they are defined upon, and hence reusing them for other metamodels becomes chall ..."
Abstract
- Add to MetaCart
Abstract: Model transformations are key enablers for multi-paradigm modeling. However, currently there is little support for reusing transformations in different contexts since they are tightly coupled to the metamodels they are defined upon, and hence reusing them for other metamodels becomes
Reusing Model Transformations While Preserving Properties
"... Abstract. Model transformations are indispensable to model-based development (MBD) where they act as translators between domain-specific languages (DSLs). As a result, transformations must be verified to ensure they behave as desired. Simultaneously, transformations may be reused as requirements evo ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
Abstract. Model transformations are indispensable to model-based development (MBD) where they act as translators between domain-specific languages (DSLs). As a result, transformations must be verified to ensure they behave as desired. Simultaneously, transformations may be reused as requirements
COPE -- Automating Coupled Evolution of Metamodels and Models
"... Model-based development promises to increase productivity by offering modeling languages tailored to a specific domain. Such modeling languages are typically defined by a metamodel. In response to changing requirements and technological progress, the domains and thus the metamodels are subject to ..."
Abstract
-
Cited by 49 (11 self)
- Add to MetaCart
and models to reduce migration effort. With COPE, a language is evolved by incrementally composing modular coupled transformations that adapt the metamodel and specify the corresponding model migrations. This modular approach allows to combine the reuse of recurring transformations with the expressiveness
Automated Model Generation and Simulation
, 1994
"... Understanding or predicting the behavior of a complex physical system requires the construction and execution of a model of the system. Such a model is often handcrafted by the person studying the system, and the modeling process is not formalized to be reusable by others. We describe a method ..."
Abstract
-
Cited by 3 (1 self)
- Add to MetaCart
Understanding or predicting the behavior of a complex physical system requires the construction and execution of a model of the system. Such a model is often handcrafted by the person studying the system, and the modeling process is not formalized to be reusable by others. We describe a
Results 1 - 10
of
859
