欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Android
由 Google 牵头,携手国际上多家领先的移动服务提供商(包括中国移动通信、日本的DoCoMo) 共同组建开放手机联盟, 并推出 Android 综合移动设备平台。这是一个基于 Linux 的移动应用创新平台。同时也推出 Android SDK 软件开发工具包,开发者们可以利用 SDK 工具包开发基于 Android 平台的新应用。Google也正式宣布举办总奖金为 1000 万美元的 Android 开发者大赛,邀请开发者们为 Android 平台开发移动应用。
Android license: Apache V2: Why Google chose the Apache Software License over GPLv2 for Android
Google 已将战线延伸至无线移动终端,可以预见这将是 Google 广告收入新的增长点。
有关 Google Android 架构介绍的视频信息:
- Androidology - Part 1 of 3 - Architecture Overview
- Androidology - Part 2 of 3 - Application Lifecycle
- Androidology - Part 3 of 3 - APIs
目录 |
PC
在PC上体验Android
LiveAndroid, a LiveCD for Android running on x86 platforms.
Tools
- Android Development Tools Plugin (for the Eclipse IDE)
- Android Emulator (A QEMU-based device-emulation tool)
- Android Virtual Devices (AVDs)
- Hierarchy Viewer
- layoutopt
- Draw 9-patch
- Dalvik Debug Monitor Service (ddms)
- Android Debug Bridge (adb)
- Android Asset Packaging Tool (aapt)
- Android Interface Description Language (aidl)
- sqlite3
- Traceview
- mksdcard
- dx tool rewrites .class bytecode into Android bytecode (stored in .dex files.)
- UI/Application Exerciser Monkey
- android script
- zipalign: An important .apk optimization tool.
Code
The source is approximentely 2.1GB in size. You will need 6GB free to complete the build.
News
Features
- Application framework enabling reuse and replacement of components
- Dalvik Virtual Machine optimized for mobile devices
- Integrated browser based on the open source WebKit engine
- Optimized graphics powered by a custom 2D graphics library; 3D graphics based on the OpenGL ES 1.0 specification (hardware acceleration optional)
- SQLite for structured data storage
- Media Libraries based on PacketVideo's OpenCORE. Media support for common audio, video, and still image formats (MPEG4, H.264, MP3, AAC, AMR, JPG, PNG, GIF)
- GSM Telephony (hardware dependent)
- Bluetooth, EDGE, 3G, and WiFi (hardware dependent)
- Camera, GPS, compass, and accelerometer (hardware dependent)
- Rich development environment including a device emulator, tools for debugging, memory and performance profiling, and a plugin for the Eclipse IDE
Install
新的安装方式, 先下载SDK, 然后在选择相应版本的软件包:
因为有墙, 所以需Settings里Http Proxy Server:10.159.192.62,Http Proxy Port:8080, 选择如下两个选项卡:Force https//.....using http... 和 Ask Before restaring ADB.
install sdk export PATH=${PATH}:<your_sdk_dir>/tools Installing the Eclipse Plugin (ADT) Help > Software Updates > Find and Install. New Remote Site. https://dl-ssl.google.com/android/eclipse/
Android Editor 依赖以下包 :
- Eclipse Modeling Framework (EMF, XSD InfoSet, SDO) emf-sdo-xsd-SDK-2.3.1.zip
- Graphical Editing Framework (GEF) GEF-SDK-3.3.1.zip
- Data Tools Platform (DTP) dtp-sdk_1.5.1.zip
- Web App Developers
本地下载:http://download.huihoo.com/android/eclipse/
Applications
- Ubuntu Mobile: The Android Killer
- Ambient Music Player
Browser
下载 http://labs.opera.com/downloads/OperaMini.apk android-sdk_m5-rc15_windows\android-sdk_m5-rc15_windows\tools {Android home}/tools/emulator {Android home}/tools/adb install OperaMini.apk
NetBeans
Google Android for the NetBeans IDE http://undroid.nolimit.cz/
OMS
Links
- http://www.android.com/
- http://www.openhandsetalliance.com/
- http://code.google.com/android/
- http://code.google.com/p/android/
- http://android-developers.blogspot.com/
- http://andappstore.com
- http://download.huihoo.com/android/
- http://docs.huihoo.com/android/
- http://www.eoemobile.com/service Android服务
- http://www.eoemarket.com Android商店
- http://www.eoeandroid.com/ Android社区
- http://www.chinaup.org