Sotiris Skevoulis

Learn More
The detection of bugs in software has been a difficult and time-consuming manual task. Some bugs are hard to find as they manifest themselves far from the actual errors such as dereferencing null-pointer. To avoid these bugs, a useful static program analysis tool would inspect a program for presence of such errors. The goal of static analysis is to detect(More)
This paper describes an ongoing partnership between the Seidenberg School of Computer Science and Information Systems at Pace University, a Registered Education Provider (REP) for IEEE and the Information Technology Division at Bank of New York Mellon. The goal of the project is to deliver at the bank's location, a high quality, customized, graduate program(More)
We are well into the twenty-first century, and our technology is advancing at blazing speeds. Yet our education methodologies suffer the fate of remaining largely antiquated. Students and educators alike have become more sophisticated; the tools of learning must reflect and compensate for this intellectual advancement. Podcasts have greatly contributed(More)
This paper presents an approach to synthesizing functional and robust code from object oriented design models and Z data and operation speci cations The approach used here is based on an integrated notation of the Uni ed Modeling Language and a slightly ex tended Z notation to include object oriented concepts and structures Our approach generates fully(More)
This paper presents a generic approach to statically analyze Java programs in order to detect potential er rors bugs We discuss a framework that supports our approach and carries out the static analysis of Java code automatically Our approach can automatically detect potential bugs and report them before the pro gram is executed For a Java class invariants(More)
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas It seems agreed that quality should be assured by apply ing testing analysis and formal methods to rigorously de ned precode artifacts The detection of null pointer violation errors is de nitely such a(More)
This paper describes a software engineering educational experience and collaboration  between the Seidenberg School of Computer Science at Pace University (SCSIS) and Pfizer Inc’s Clinical Applications Team. The goal of the project was to develop a Coronary Heart Disease Risk Factor Calculator (CHD-RFC) utilizing all the experience(More)
  • 1