TSE 1998 - PDF Preprint Papers

TSE 1998

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed TSE-1998 Paper

click to vote

TSE
1998

176views more TSE 1998»

Constructive Protocol Specification Using Cicero

13 years 4 months ago

Download www.cs.ucr.edu

—New protocols are often useful, but are hard to implement well. Protocol synthesis is a solution, but synthesized protocols can be slow. Implementing protocols will be even more...

Yen-Min Huang, Chinya V. Ravishankar

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	176	Constructive Protocol Specification Using Cicero	claim
2	152	Communication and Organization: An Empirical Study of Discussion in Inspection Meetings	claim
3	131	Experiences Using Lightweight Formal Methods for Requirements Modeling	claim
4	130	Automatic Support for Usability Evaluation	claim
5	129	Inferring Declarative Requirements Specifications from Operational Scenarios	claim
6	128	Modeling and Evaluating Design Alternatives for an On-Line Instrumentation System: A Case Study	claim
7	116	Managerial Use of Metrics for Object-Oriented Software: An Exploratory Analysis	claim
8	116	A Framework-Based Approach to the Development of Network-Aware Applications	claim
9	115	Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering	claim
10	114	KLAIM: A Kernel Language for Agents Interaction and Mobility	claim
11	112	Message Logging: Pessimistic, Optimistic, Causal, and Optimal	claim
12	109	An Evaluation of the MOOD Set of Object-Oriented Software Metrics	claim
13	102	Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance	claim
14	96	The Use of Cooperation Scenarios in the Design and Evaluation of a CSCW System	claim
15	93	Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers	claim
16	93	A Strategy for Improving Safety Related Software Engineering Standards	claim
17	92	Requirements Development in Scenario-Based Design	claim
18	85	A Methodology for Feature Interaction Detection in the AIN 0.1 Framework	claim
19	83	Cost-Effective Analysis of In-Place Software Processes	claim
20	81	Empirical Studies of a Safe Regression Test Selection Technique	claim
21	78	Inconsistency Management for Multiple-View Software Development Environments	claim
22	77	Use Case Maps as Architectural Entities for Complex Systems	claim
23	76	Measuring Design-Level Cohesion	claim
24	72	Requirements Elicitation and Validation with Real World Scenes	claim
25	71	Understanding Code Mobility	claim
26	67	Distributed Feature Composition: A Virtual Architecture for Telecommunications Services	claim
27	64	Managing Conflicts in Goal-Driven Requirements Engineering	claim
28	55	Using Test Oracles Generated from Program Documentation	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers