xcend.de
STAT System [Transcend]
https://xcend.de/stats/start
The SofTech Achievement Tracking System. Is developed by the Software Technology Group. At the University of Kaiserslautern. The system is used to manage students attending courses, their participation and results in the exercises, as well as in exams. The system is in productive use and can be found at http:/ softech.cs.uni-kl.de/stats. The system is based on a XCend Schema. Whose syntax is close to a. Modified Relax NG compact syntax. The Whole Stat System. Splits into three major parts, namely:.
agse.cs.uni-kl.de
Software Engineering: Process Measurement Research Group: Partners
http://agse.cs.uni-kl.de/Partners
Software Engineering: Processes and Measurement Research Group. In Strong cooperation with the Fraunhofer IESE we have several industrial and research partners. Thus, we are able to test new scientific approaches in practice. In the following there are some representatives out of our most important business and research areas.
agse3.informatik.uni-kl.de
Chair of Software Engineering: Dependability:
http://agse3.informatik.uni-kl.de/teaching
Chair of Software Engineering: Dependability. Prof Dr.-Ing. Liggesmeyer. Lectures offered by Software Engineering Chairs. Prof Dr.-Ing. Liggesmeyer, Prof. Dr. Poetzsch-Heffter, Prof. Dr. Dr. h. c. Rombach ). Specification and Verification of Object-oriented Programs. Quality Management of Software and Systems. Specification and Verification with Higher-Order Logic. Compiler and Language-Processing Tools. Empirical Model Building and Methods. Project (SEDA, AGSE, AGST). Prof Dr.-Ing. Liggesmeyer. Diploma-...
seda.informatik.uni-kl.de
Chair of Software Engineering: Dependability:
http://seda.informatik.uni-kl.de/teaching
Chair of Software Engineering: Dependability. Prof Dr.-Ing. Liggesmeyer. Lectures offered by Software Engineering Chairs. Prof Dr.-Ing. Liggesmeyer, Prof. Dr. Poetzsch-Heffter, Prof. Dr. Dr. h. c. Rombach ). Specification and Verification of Object-oriented Programs. Quality Management of Software and Systems. Specification and Verification with Higher-Order Logic. Compiler and Language-Processing Tools. Empirical Model Building and Methods. Project (SEDA, AGSE, AGST). Prof Dr.-Ing. Liggesmeyer. Diploma-...
seda.cs.uni-kl.de
Chair of Software Engineering: Dependability:
http://seda.cs.uni-kl.de/teaching
Chair of Software Engineering: Dependability. Prof Dr.-Ing. Liggesmeyer. Lectures offered by Software Engineering Chairs. Prof Dr.-Ing. Liggesmeyer, Prof. Dr. Poetzsch-Heffter, Prof. Dr. Dr. h. c. Rombach ). Specification and Verification of Object-oriented Programs. Quality Management of Software and Systems. Specification and Verification with Higher-Order Logic. Compiler and Language-Processing Tools. Empirical Model Building and Methods. Project (SEDA, AGSE, AGST). Prof Dr.-Ing. Liggesmeyer. Diploma-...
wwwagse.informatik.uni-kl.de
Software Engineering: Process Measurement Research Group: Partners
http://wwwagse.informatik.uni-kl.de/Partners
Software Engineering: Processes and Measurement Research Group. In Strong cooperation with the Fraunhofer IESE we have several industrial and research partners. Thus, we are able to test new scientific approaches in practice. In the following there are some representatives out of our most important business and research areas.
agde.informatik.uni-kl.de
Chair of Software Engineering: Dependability:
http://agde.informatik.uni-kl.de/teaching
Chair of Software Engineering: Dependability. Prof Dr.-Ing. Liggesmeyer. Lectures offered by Software Engineering Chairs. Prof Dr.-Ing. Liggesmeyer, Prof. Dr. Poetzsch-Heffter, Prof. Dr. Dr. h. c. Rombach ). Specification and Verification of Object-oriented Programs. Quality Management of Software and Systems. Specification and Verification with Higher-Order Logic. Compiler and Language-Processing Tools. Empirical Model Building and Methods. Project (SEDA, AGSE, AGST). Prof Dr.-Ing. Liggesmeyer. Diploma-...
wwwagse.cs.uni-kl.de
Software Engineering: Process Measurement Research Group: Partners
http://wwwagse.cs.uni-kl.de/Partners
Software Engineering: Processes and Measurement Research Group. In Strong cooperation with the Fraunhofer IESE we have several industrial and research partners. Thus, we are able to test new scientific approaches in practice. In the following there are some representatives out of our most important business and research areas.
agse.informatik.uni-kl.de
Software Engineering: Process Measurement Research Group: Partners
http://agse.informatik.uni-kl.de/Partners
Software Engineering: Processes and Measurement Research Group. In Strong cooperation with the Fraunhofer IESE we have several industrial and research partners. Thus, we are able to test new scientific approaches in practice. In the following there are some representatives out of our most important business and research areas.