| HOME | COMPANY | PRODUCTS | DOCUMENTS | TRY ONLINE | CONTACTS |
Development of Verified SoftwareVerified Software: Why?Because most of the cost of software comes from debugging and maintenance rather than from the first development phase. You can trust our software because we verify it with our automatic tool for static semantical analysis. This guarantees that some frequent classes of bugs cannot be present in the programs that we ship. Our software company is unique in this, because we invest in research and continuous innovation. This is attested by the power of our static analysis tool, recognised at international scientific level.Development of Java Software
Java is our first choice for software development.
It is a strong, modern language, which makes it possible to
develop software with high quality standards.
We specialise in the development of concurrent,
multithreaded software, whose complexity
requires the most rigorous applications of clean
code development, continuous testing and static
semantical analysis. Multithreaded software allows you to
exploit the growing power of current and future
multicore architectures, by running the program
concurrently on all cores.
|
Development of Android Applications
Android is everywhere: smartphones, computers, tablets, televisions, home
appliances. We have the ability do develop your Android
applications and verify them with our static analysis tool. This gives you
more confidence in the quality of the applications
that we produce and
will increase their acceptance. Good applications are
installed and appreciated by more users.
Development of Applications in the Cloud
The cloud is the current and the future computing platform.
More and more applications migrate on the cloud everyday,
because they are always available, everywhere, from any
point of the world. But cloud computing applications must
be reliable: sensible information must remain confidential;
transactions must not fail nor leave your data in inconsistent
state. We specialise in the production of software in the
cloud, through modern technologies such as Google's GWT and
Spring frameworks. We verify our software with our static analysis
tool, to attain the highest quality standards.
|
home | company | products | documents | try online | contacts | sitemap
All rights reserved - Julia Srl - strada le Grazie, 15 - 37134 Verona, Italy
E-mail: info@juliasoft.com - C.F./P.IVA 03985930233 - Capitale sociale: 25.000 euro - R.E.A. Di VR n. 382135