Search Results for Application software -- Development.

19 sonuç bulundu

Select All

1 2

000000000000DEFAULT_TR

Validated Designs for Object-oriented Systems

Fitzgerald, John. author.

http://dx.doi.org/10.1007/b138800

Format:

Elektronik Kaynak

Alıntı:

Models and Software Development -- Building a Model in VDM++: An Overview -- VDM++ Tool Support

Categories for Software Engineering

Fiadeiro, José Luiz. author.

http://dx.doi.org/10.1007/b138249

Format:

Elektronik Kaynak

Alıntı:

of complex software systems: object-oriented development, software architectures, logical and

Model Driven Architecture – Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedings

Hartman, Alan. editor.

http://dx.doi.org/10.1007/11581741

Format:

Elektronik Kaynak

Alıntı:

Service-Oriented Model-Driven Architecture -- Model-Driven Development – Hot Spots in Business Information Systems

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers

Roy, Peter. editor.

http://dx.doi.org/10.1007/b106627

Format:

Elektronik Kaynak

Alıntı:

-- Overcoming the Multiplicity of Languages and Technologies for Web-Based Development Using a Multi-paradigm

Component-Based Software Testing with UML

Gross, Hans-Gerhard. author.

http://dx.doi.org/10.1007/b138012

Format:

Elektronik Kaynak

Alıntı:

complement a model-driven development method. Here UML models are used to derive the testing architecture for

Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures

Boer, Frank S. editor.

http://dx.doi.org/10.1007/11561163

Format:

Elektronik Kaynak

Alıntı:

protocol and hardware design. However, their application to the development of large systems requires more

Adapting Proofs-as-Programs The Curry-Howard Protocol

Poernomo, Iman Hafiz. author.

http://dx.doi.org/10.1007/0-387-28183-5

Format:

Elektronik Kaynak

Alıntı:

- tential for practical application to semi-automated software development. I- tial applications were mostly

Pro Spring

Harrop, Rob. author.

http://dx.doi.org/10.1007/978-1-4302-0004-8

Format:

Elektronik Kaynak

Alıntı:

software development comes out of experience in the trenches, so this is my kind of book. If you're new to

Software Engineering and Middleware 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004. Revised Selected Papers

Gschwind, Thomas. editor.

http://dx.doi.org/10.1007/b107130

Format:

Elektronik Kaynak

Alıntı:

characteristics. Software engineers are the- fore challenged both in the area of the development of new and

10.

Scientific Engineering of Distributed Java Applications 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers

Guelfi, Nicolas. editor.

http://dx.doi.org/10.1007/b106620

Format:

Elektronik Kaynak

Alıntı:

,andapplicationsof,softwareengineeringfordistributed application development. Concerning the technologies, the

11.

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Abdallah, Ali E. editor.

http://dx.doi.org/10.1007/b136154

Format:

Elektronik Kaynak

Alıntı:

Application of CSP -- Shedding Light on Haunted Corners of Information Security -- Automated Development and

12.

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings

Heineman, George T. editor.

http://dx.doi.org/10.1007/b136248

Format:

Elektronik Kaynak

Alıntı:

Component-Based Development of a Telecommunication Service -- Reusable Dialog Component Framework for Rapid Voice

	{displayName}	{count}
{error}