EiffelStudio - PDFSEARCH.IO - Document Search Engine

EiffelStudio
Results: 8

#	Item
1	Diploma work Documentation Title: A visual state notation language Project number: B37.02 Add to Reading List Source URL: static.sws.bfh.ch Language: English - Date: 2007-05-23 05:16:33 Software Computing Graphical user interfaces User interface techniques Unified Modeling Language Widget User interface design User interface Diagram Use case Object Process Methodology EiffelStudio
2	Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model Alexander Heußner University of Bamberg, Germany Christopher M. Poskitt Claudio Corrodi Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2015-04-11 20:15:08 Software engineering Software Computing Parallel computing Object-oriented programming languages Object-oriented programming Concurrent programming languages Concurrent computing Edsger W. Dijkstra SCOOP Concurrency EiffelStudio
3	Automated Program Repair in an Integrated Development Environment Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer Chair of Software Engineering, Department of Computer Science, ETH Zurich, Switzerland Email: ﬁrst Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2015-02-17 06:56:50 Software testing Object-oriented programming Integrated development environments Compilers EiffelStudio Extreme programming Random testing Eiffel Software bug Unit testing Computer programming Design by contract
4	ETHZ D-INFK Prof. Dr. B. Meyer, Dr. J. Shin Robotics Programming Laboratory – Assignments Fall 2013 Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-09-23 06:04:42 Robots Thymio Integrated development environments Robot Operating System EiffelStudio Ubuntu Linux Package manager Ros Bash
5	D ISS . ETH N OCorrectness and Execution of Concurrent Object-Oriented Programs Add to Reading List Source URL: bitbucket.org Language: English - Date: 2015-04-22 12:43:55 Concurrency control Transaction processing Object-oriented programming SCOOP Concurrency Data management EiffelStudio Concurrent computing Eiffel Computing Computer programming Software engineering
6	Microsoft PowerPoint - Meyer_swii.pptx Add to Reading List Source URL: www.swii.org Language: English - Date: 2014-09-23 14:56:34 Software Postcondition EiffelStudio Eiffel Design by contract Test case Precondition Test automation Oracle Software testing Software engineering Software development
7	Microsoft Word - PR_Eiffel Award 07.doc Add to Reading List Source URL: www.ecma-international.org Language: English - Date: 2014-10-28 00:10:22 Object-oriented programming Ecma International ISO standards Eiffel C Sharp Bertrand Meyer Computer file formats Void safety EiffelStudio Computing Software engineering Computer programming
8	PDF Document Add to Reading List Source URL: www.eiffel.com Language: English - Date: 2005-12-14 18:56:27 Integrated development environments Computing platforms Compilers EiffelStudio Eiffel Software Eiffel Bertrand Meyer Porting Linux Computing Software Object-oriented programming