Automatic Verification of Real-Time Designs
No abstract available.
4,951 papers · page 191 of 248
An Assessment and Comparison of Common Software Cost Estimation Modeling Techniques
This paper investigates two essential data-driven, software cost modeling: questions related to (1) What modeling _ _ techniques are likely to yield more accurate results when using typical software development cost data?and (2) What are the benefits and drawbacks of using organi…
Explaining the Cost of European Space and Military Projects
There has been much controversy in the literature on several issues underlying the construction of parametric software development cost models.For example, it has been argued whether (dis)economies of scale exist in software production, what functional form should be assumed betw…
Investigating Quality Factors in Object-Oriented Designs: An Industrial Case Study
S.345-354 : Ill., Lit.
Personal Software Engineering Project Management Process
No abstract available.
International Workshop on Component-Based Software Engineering
No abstract available.
Adaptable Components
No abstract available.
Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts
Article Free Access Share on Decoupling synchronization from local control for efficient symbolic model checking of statecharts Authors: William Chan Department of Computer Science and Engineering, University of Washington, Box 352350, Seattle, Washington Department of Computer S…
The RMT (Recursive Multi-Threaded) Tool: A Computer Aided Software Engineering Tool for Monitoring and Predicting Software Development Progress
Article Free Access Share on The RMT (Recursive Multi-Threaded) tool: a computer aided software engineering tool for monitoring and predicting software development progress Authors: Arturo I. Concepcion Department of Computer Science, California State University, San Bernardino, …
Highly Reliable Upgrading of Components
Article Free Access Share on Highly reliable upgrading of components Authors: Jonathan E. Cook Department of Computer Science, New Mexico State University, Las Cruces, NM Department of Computer Science, New Mexico State University, Las Cruces, NMView Profile , Jeffrey A. Dage Dep…
The International Symposium on Software Engineering for Parallel and Distributed Systems PDSE'99
Model-Based Testing in Practice
Model-based testing is a new and evolving technique for generating a suite of test cases from requirements.Testers using this approach concentrate on a data model and generation infrastructure instead of hand-crafting individual tests.Several relatively small studies have demonst…
Using the ASTRAL Model Checker to Analyze Mobile IP
Article Using the ASTRAL model checker to analyze mobile IP Share on Authors: Zhe Dang Reliable Software Group, Computer Science Department, University of California, Santa Barbara, CA Reliable Software Group, Computer Science Department, University of California, Santa Barbara, …
Using Off-the-Shelf Middleware to Implement Connectors in Distributed Software Architectures
Software architectures promote development focused on modular building blocks and their interconnections. Since architecture-level components often contain complex functionality, it is reasonable to expect that their interactions will also be complex. Modeling and implementing so…
A Systematic Approach to Derive the Scope of Software Product Lines
S.34-43 : Ill., Lit.
Avoiding Packaging Mismatch with Flexible Packaging
Article Free Access Share on Avoiding packaging mismatch with flexible packaging Author: Robert DeLine Carnegie Mellon University, 5000 Forbes Ave., Pittsburgh PA Carnegie Mellon University, 5000 Forbes Ave., Pittsburgh PAView Profile Authors Info & Claims ICSE '99: Proceedings o…
Identifying Objects Using Cluster and Concept Analysis
Many approaches to support (semi-automatic) identification of objects in legacy code take the data structures as starting point for candidate classes.Unfortunately, legacy data structures tend to grow over time, and may contain many unrelated fields at the time of migration.We pr…
CHIME: Customizable Hyperlink Insertion and Maintenance Engine for Software Engineering Environments
Article Free Access Share on CHIME: customizable hyperlink insertion and maintenance engine for software engineering environments Authors: P. Devanbu Dept. of Computer Science, University of California, Davis, CA Dept. of Computer Science, University of California, Davis, CAView …
Coca: An automated Debugger for C
Presents Coca, an automated debugger for C, where the breakpoint mechanism is based on events related to language constructs. Events have semantics, whereas the source lines used by most debuggers do not have any. A trace is a sequence of events. It can be seen as an ordered rela…
Patterns in Property Specifications for Finite-State Verification
Article Patterns in property specifications for finite-state verification Share on Authors: Matthew B. Dwyer Kansas State University, Department of Computing and Information Sciences, Manhattan, KS Kansas State University, Department of Computing and Information Sciences, Manhatt…