Sciweavers

209 search results - page 4 / 42
» Software Requirements Specification of a University Class Sc...
Sort
View
CSEE
2000
Springer
13 years 11 months ago
Technology Transfer Issues for Formal Methods of Software Specification
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel,...
CSEE
2003
Springer
14 years 19 days ago
A Coordinated Plan for Teaching Software Engineering in the Rey Juan Carlos University
Nowadays both industry and academic environments are showing a lot of interest in the Software Engineering discipline. Therefore, it is a challenge for universities to provide stu...
Jorge Enrique Pérez-Martínez, Almude...
MODELLIERUNG
2001
13 years 8 months ago
Applicability of the Object Constraint Language (OCL) in Commercial Software Development for Vehicle Routing and Scheduling Soft
Abstract: Models are important artefacts that support human understanding and communication. Often software development involves specialists from a variety of fields, e.g. mathemat...
Peter Wendorff
COR
2007
80views more  COR 2007»
13 years 7 months ago
A heuristic approach to simultaneous course/student timetabling
Many approaches have been taken in academic environments to address the problem of student and course timetabling. Typically, student scheduling and course scheduling have been tr...
Christopher Head, Sami Shaban
IEE
2008
115views more  IEE 2008»
13 years 7 months ago
Faithful mapping of model classes to mathematical structures
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
Ádám Darvas, Peter Müller