Skip to main content

Posts

Showing posts from August, 2010

Building Android Applications

With the introduction of more power and capabilities, now mobile devices can do tasks that were considered impossible in past. Market for mobile applications is hot at the moment. There are different platforms used in different mobile devices, and each requires different ways and tools to develop applications. But once you have got a useful application you should be able to port it to different platforms. Most important thing you need is a useful idea and some programming skills.  Android is a  popular operating systems for mobile devices. Android is a software stack for mobile devices that includes an operating system, middleware and key applications.  Android provides an SDK  to develop applications for  Android  using Java Programming Language. There are many options available for development environments. You can use  The Android Development Tools (ADT) plugin for Eclipse to add powerful extensions to the Eclipse integrated development environment.  Each mobile devic

Spec # -formal language for API contracts

Spec # is an extension of c# with constructs which permits specification and reasoning about object invariants. It has non-null types and provides constructs for pre and post conditions and object invariants. The Spec# is used to test formal specifications and static/dynamic provers that use them.