SPARK Pro launched

AdaCore and Praxis have released SPARK Pro, an open source development enviroment focused on software development in areas where correct operation is vital.

Here’s a quote from the press release:

SPARK Pro combines the proven SPARK language and supporting toolset with AdaCore’s easy-to-use GNAT Programming Studio (GPS) Integrated Development Environment, backed by unrivalled support services. This provides a powerful method for developing critical systems.

The entire press release can be found here.

Mika by MIDOAN.

A new tool for generating automatic test data from Ada source code. Here’s a quote from the website:

Mika is an entirely automatic tool that analyses your Ada code and generates, carefully constructed, tests that will exercise all the branches or decision within your code at a level suitable for integration testing. With Mika, manual test data generation is no longer necessary.

Lots more information can be found on the MIDOAN website.

A small example of usage can be found here.

Creating a site for business

When you create your online portal, a hosting service places all of its files on a server. You use the server as your web address, and you have to pay for the server to serve you your pages. It may work on a free hosting plan, but once you start writing pages for your business, you will most likely want more than a free hosting account, so options as managed dedicated server hosting plans could actually be better for your business. Your business is known to require content marketing, and you will probably need some sort of web-based content management system to host your website. You may be interested in the Drupal 7 Professional Edition (PDE) with its vibrant community, streamlined administrative tools, the ability to include custom graphics, and a core set of popular modules.

Your first thought may be to use WordPress.org, a powerful, popular open-source blogging platform that runs on a robust PHP framework and offers a robust CMS of its own. Using WordPress is the simplest way to create an online business. You can get started right away by following a free WordPress tutorial. However, if you want to better your blogging skills, check out the advanced WordPress installation that goes into far greater detail and includes additional services like integrated mail server. Anytime while pursuing your business, then you can hire lawyers for business cases who can help you with all the legal issues.

Now that you have chosen your hosting service, all that is left is to choose a domain name. You will have to pay a fee for the domain name, which you can then use to point to your new website and control all of your related websites. Some hosting services offer free domain name name with hosting , but some hosting companies charge for the domain name, which may make your decision for creating your online business even more difficult. There are many different domain names that are available, and you can also purchase a naming domain from a domain registrar like GoDaddy.

So now you have the tools needed to create an online business. Now, you need to focus on creating great content that will help others find you, and you can do that by using a WordPress theme. WordPress themes are the foundation of a website that is designed to use your site as a living and breathing website, and it should provide you with the appearance and functionality that you need to succeed. WordPress themes should be designed to have the following attributes:

Themes should have a sleek look and feel. You need a good looking theme that is simple, professional, and easy to use. It should be easy to create your own design, because it needs to be updated with the latest design trends, so it should be easy to change to fit the needs of your business, also is important that you have the right marketing for your site and services as Victorious online can help with this.

You need a good looking theme that is simple, professional, and easy to use. It should be easy to create your own design, because it needs to be updated with the latest design trends, so it should be easy to change to fit the needs of your business. The theme needs to be customizable. You can choose from a wide variety of themes, which can include most popular sites, blogs, e-commerce sites, forums, and other websites. You can customize your theme to suit your business needs, and even make it customizable for users. Contacting the Best SaaS ERP (Enterprise Resource Planning) Solutions has helped many new businesses integrate different functions such as order management, inventory management, HR, accounting, finance, and more.

You can choose from a wide variety of themes, which can include most popular sites, blogs, e-commerce sites, forums, and other websites. You can customize your theme to suit your business needs, and even make it customizable for users. It needs to be compatible with WordPress and other web-based frameworks. If you have a rich set of content to publish, then you need a website that can use WordPress and the various theme templates, plugins, and modules.

SPARK Proof – Tutorials and Tools

Phil Thornley has put up some SPARK tutorials at sparksure.com:

  1. Proof of absence of run-time error
  2. Proof Checker usage

Both tutorials contain several sections, with worked examples and exercises.

Also updated were a couple of the tools that help with SPARK proof:

  • VC_View makes it easier to read and interpret SPARK verification conditions.
  • PCHIF is an interface to the Proof Checker that makes it easier to recall and edit previously entered commands and to control the commands that are saved. (Previous versions of PCHIF were very unstable, but this is now sorted, thanks to Dmitry Kazakov and Maxim Reznik for their Gtk Router.)

The tools are currently only available as Windows executables.

Tutorials

Tools for SPARK Proof

Zip-Ada v.31 released

Gautier is as busy as ever, and this time he brings us v.31 of his Zip-Ada library. As some might notice, the name is no longer UnZip-Ada.

Here’s a quote from Gautier:

The library’s name is now Zip-Ada and not UnZip-Ada anymore (except the site name at SF which is in the process of being renamed…)

Changes to Zip-Ada v.31 are:

  • Added tiny demos: Demo_Zip, Demo_UnZip
  • Added procedure Add_String in Zip.Create

And finally we have one incompatibility with previous versions:

  • Zip.Create: Create / Finish: if Info.Stream is to a file, the underlying archive file is also created / closed as well

The entire thing can be found here.

QtAda/GtkAda integration kit

A new QtAda/GtkAda Integration Kit is available, or rather; a technology preview for such a kit is available.

From the website we get this little snippet of information:

QtAda/GtkAda Integration Kit allows to use both toolkits in one application. It makes simple integration of existing GtkAda code into the QtAda application.

Technology preview is available for immediate download from the QtAda download page (see snapshot section).

The QtAda/GtkAda Integration Kit can be used with the latest QtAda 2.2.0 snapshots only.

New MacPorts / GNU Ada Release

This just in from Martin Krischik:

I have released a new MacPort version of the GCC compiler. The
Portfiles for the new release has been send up stream as I have become a
MacPorts maintainer and they can be compiled installed like any
other Port (MacPorts is a soucecode based distribution).

Since you need an bootstrap compiler I also created a binary release to get everybody started.

And on top of that I prepared new sourcecode tarballs for booch95 and
XML/Ada.

The new MacPort version can be found here.

v.03 of Excel Writer released

Fast on the heels of v.01 and v.02, Gautier have released v.03 of his Ada Excel Writer.

New in this release is:

  • data stream can now by any; supplied: Excel_Out_File, Excel_Out_String
  • added “Text_IO”-like Put, Put_Line, New_Line,…

For those using the 01/02 versions, there’s this incompatibility to be aware of:

To write a file, you need to use Excel_Out_File instead of Excel_Out_Stream (which is now abstract); to create it is now Create instead of Create_File, same for Close.

The Excel Writer can be found here.