SIGSOFT

This paper presents a methodology for mapping the Live Sequence Chart (LSC) language to an equivalent Coloured Petri Net (CPN) model as an approach for analysis and verification of embedded systems' properties. LSC is a language for system specification,...

Software projects are failing because of the poor project planning and due to this estimation have gained interest in recent times. Estimation process reduces the risk around schedule and cost. Effective software project estimation is one of the most ...

This paper provides an analysis of the effect of the skill/experience of the software development team on the quality of the final software product. A method for the assessment of software development team skill and experience is proposed, and was ...

Software lifecycle management is a complex phenomenon with each stage posing its unique technical and other challenges. Maintenance and enhancement of software brings in its own share of complexities to this phase. While uncertainties associated with ...

Increasingly, software are required to be ready to adapt itself to the changing environment caused by a wide range of maintenance, evolution and operation problems. Furthermore, in large complex distributed systems and continuous running systems, the ...

Software systems have become increasingly complex and are often used in highly dynamic, distributed and mobile environments. Formal development of such software systems in order to guarantee their completeness and correctness is a large research ...

Many well known agent-oriented software analysis method have been proposed such as GAIA, ROADMAP, PROMETHUS and TROPOS methodology. Out of the numerous proposed methods, selecting a particular analysis method is again a problem, as every method has its ...

Traditional strong authentication systems rely on a certification chain to delegate the authority of trusting an intermediate end. However, in some practical life scenarios a relayed authentication is not accepted and thus it would be advisable a ...

Among recent developments in the field of software reuse has been the increasing reuse of coarse-grained components, and it has been proved that granularity has great impact on component's reuse performance. However, previous studies have ignored ...

JML is a behavioral interface specification language tailored to Java(TM). Besides pre- and postconditions, it also allows assertions to be intermixed with Java code; these aid verification and debugging. JML is designed to be used by working software ...

You may have noticed that recent SEEd columns have included insights from a number of guest contributors. I hope you find these different perspectives interesting and useful. For this column I am honored to have Dennis Frailey as guest contributor. As ...

In the Fall of 2005, Kenneth A. Williams began a discussion on the SIGCSE email list on the topic of what math is relevant for a student in the computing sciences. He began by questioning the value of differential equations, stating that he was "... ...

Be here now. Improve this moment by responding to the people and the situation around you, deliberately, not randomly. Of course, one must plan, too, but don't get carried away.

The World Wide Web is a wonderful place for research, but finding relevant information can sometimes be a problem. Most of the major search engines are great at finding key words or performing Boolean searches on key words, but there's no way to add ...

This report presents initial results in the area of software testing and analysis produced as part of the Software Engineering Impact Project. The report describes the historical development of runtime assertion checking, including a description of the ...