1-1-1984

CONTU Revisited: The Case against Copyright Protection for Computer Programs in Machine- Readable Form

Pamela Samuelson

更多

Berkeley Law

收起

1981

Final Report on the National Commission on New

Technological Uses of Copyrighted Works, 3

更多

Computer L.J. 53 (1981)

National Commission on New Techonological Uses of Copyrighted Works (CONTU)

收起

IBM Software Group | Rational software

1

Productivity improvement leverage

更多

Model-Based System Engineering Leverage

收起

一些软件开发项目失败的原因，是因为这些项目投入资源到一系列开发计划中，但却无法证明实施这些计划是否真的能够在项目的预算内开发出可行的系统。

Evidence-Based Software Processes

Keywords: Evidence-based development, feasibility evidence, Incremental

更多

Commitment Model, evidence-based reviews, risk assessment, risk management.

收起

An Investigation on Application Domains for Software Effort Distribution Patterns

Thomas Tan, Barry Boehm, Brad Clark

Center for Systems and Software Engineering

更多

University of Southern California

California, United States

Keywords: Cost Estimation, Effort Distribution, Application Domain, Effort Allocation

收起

Future Software Sizing Metrics and Estimation Challenges

Wilson Rosa

Information Technology Division

更多

Air Force Cost Analysis Agency

Keywords: software sizing, metrics, cost estimation, systems of systems, net-centric systems, model-driven development, agile processes

收起

Using Process Denitions to Support Reasoning

about Satisfaction of Process Requirements

Leon J. Osterweil and Alexander Wise

更多

Department of Computer Science

University of Massachusetts

Amherst MA 01003

fljo, wiseg@cs.umass.edu

Abstract. This paper demonstrates how a precise denition of a soft-

ware development process can be used to determine whether the process

denition satises certain of its requirements. The paper presents a def-

inition of a Scrum process written in the Little-JIL process denition

language. The denition's details facilitate understanding of this specic

Scrum process (while also suggesting the possibility of many variants of

the process). The paper also shows how these process details can support

the use of analyzers to draw inferences that can then be compared to re-

quirements specications. Specically the paper shows how nite state

verication can be used to demonstrate that the process protects the

team from requirements changes during a sprint, and how analysis of a

fault tree derived from the Little-JIL Scrum denition can demonstrate

the presence of a single point of failure in the process, suggesting that

this particular Scrum process may fail to meet certain process robustness

requirements. A new Scrum process variant is then presented and shown

to be more robust in that it lacks the single of point failure.

收起

Critical Code: Software Producibility for Defense

Committee for Advancing Software-Intensive Systems Producibility

Computer Science and Telecommunications Board

更多

Division on Engineering and Physical Sciences

收起