*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 181 - 200 *of* 792

181

Runtime Verification : A Hands-On Approach in Java
Christian Colombo ; Gordon J. Pace ; Christian Colombo ; et al.

Software engineering Computer science Computer science—Mathema... Mathematical logic
*eBook*
182

*This result is not displayed to guests*

183

*This result is not displayed to guests*

184

Enhanced Code Conversion Approach for the Integrated Cross-Platform Mobile Development (ICPMD)
El-Kassas, W.S. ; Abdullah, B.A. ; Yousef, A.H. ; et al.
IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 42(11):1036-1053 Nov, 2016

*Academic Journal*
185

C# for Java Developers
Jones, Allen ; Freeman, Adam ; Jones, Allen ; et al.

C (Computer program lang... Java (Computer program l... Computer software--Devel...
*eBook*
186

Scenario-based testing from UML/OCL behavioral models.
Castillos, Kalou ; Dadeau, Frédéric ; Julliand, Jacques
International Journal on Software Tools for Technology Transfer; Oct2011, Vol. 13 Issue 5, p431-448, 18p

POSIX (Computer software... ELECTRONIC file manageme... UNIFIED modeling languag... LINUX operating systems JAVA programming languag... MATHEMATICAL models of h...
*Academic Journal*
187

Integrating techniques and tools for testing automation.
Polo, Macario ; Tendero, Sergio ; Piattini, Mario
Software Testing: Verification & Reliability; Mar2007, Vol. 17 Issue 1, p3-39, 37p, 11 Color Photographs, 3 Diagrams, 12 Charts, 3 Graphs

TESTING-machines AUTOMATION INDUSTRIAL engineering JAVA programming languag... PROGRAMMING languages OPERATIONS research
*Academic Journal*
189

*This result is not displayed to guests*

190

*This result is not displayed to guests*

191

*This result is not displayed to guests*

192

*This result is not displayed to guests*

193

Scala for the Impatient
Cay S. Horstmann ; Cay S. Horstmann

Scala (Computer program...
*eBook*
194

A programming laboratory for electronic commerce
Weaver, A.C.
34th Annual Frontiers in Education, 2004. FIE 2004. Frontiers Education Frontiers in Education, 2004. FIE 2004. 34th Annual. :T3H/25-T3H/30 Vol. 1 2004

*Conference*
195

*This result is not displayed to guests*

196

Using code level model checking to discover automation surprises
Tkachuk, O. ; Brat, G. ; Visser, W.
Proceedings. The 21st Digital Avionics Systems Conference Digital avionics systems Digital Avionics Systems Conference, 2002. Proceedings. The 21st. 2:7D2-7D2 2002

*Conference*
197

*This result is not displayed to guests*

198

*This result is not displayed to guests*

199

SlimShadey: A manipulation tool for multiple sequence alignments.
Shah A ; Aneesha K ; Sudhir N
Publisher: Biomedical Informatics Pub. Group Country of Publication: Singapore NLM ID: 101258255 Publication Model: eCollection Cited Medium: Print ISSN: 0973-2063 (Print) Linking ISSN: 09732063 NLM ISO Abbreviation: Bioinformation Subsets: PubMed not MEDLINE

*Academic Journal*
200

Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces
De Giacomo, Giuseppe ; De Masellis, Riccardo ; Maggi, Fabrizio Maria ; et al.

*Electronic Resource*

*Filter*